A Rational Reconstruction of a System for Experimental Mathematics

DOI10.1007/978-3-540-73086-6_2MaRDI QIDQ5428256zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Jacques Carette, William M. Farmer, Volker Sorge

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_2

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1567820
• Making sense of experimental mathematics
• scientific article; zbMATH DE number 2170575
• Realization Theory for Rational Systems: The Existence of Rational Realizations
• Experimental mathematics, computers and the a priori
• Trial and error mathematics: Dialectical systems and completions of theories
• Realization theory for rational systems: minimal rational realizations
• scientific article; zbMATH DE number 2098012
• On Rational Number Reconstruction and Approximation

Cited in

(5)

• A universal machine for biform theory graphs
• Trial and error mathematics: Dialectical systems and completions of theories
• scientific article; zbMATH DE number 1779552 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation
• High-Level Theories

Describes a project that uses

Uses Software

• OMRS
• MathWeb

This page was built for publication: A Rational Reconstruction of a System for Experimental Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428256)