An overview of a formal framework for managing mathematics

DOI10.1023/A:1022971915900MaRDI QIDQ1810918zbMATH OpenOpenAlexFDO

Authors William M. Farmer, Martin von Mohrenschildt

Publication date 9 June 2003

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022971915900

zbMATH Keywords

axiomatic methodcomputer algebraalgorithmic theoryaxiomatic theorymechanized mathematicslittle theories methodbiform theorycomputer theorem proving

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Recommendations

• A formal framework for managing mathematics
• A universal machine for biform theory graphs
• Formalizing mathematical knowledge as a biform theory graph: a case study
• IMPS: An interactive mathematical proof system
• From G.H.H. and Littlewood to XML and Maple: changing needs and expectations in mathematical knowledge management

Cited in

(8)

• High-Level Theories
• The definition of mathematics: philosophical and pedagogical aspects
• A formal framework for managing mathematics
• A universal machine for biform theory graphs
• Generic literals
• Biform theories: project description
• Integrating searching and authoring in Mizar
• Formalizing mathematical knowledge as a biform theory graph: a case study

Describes a project that uses

Uses Software

• Analytica
• IMPS
• Nuprl
• Mizar
• PVS
• AXIOM

This page was built for publication: An overview of a formal framework for managing mathematics

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