An overview of a formal framework for managing mathematics

DOI10.1023/A:1022971915900zbMath1038.03013OpenAlexW2100330382MaRDI QIDQ1810918

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

computer algebramechanized mathematicsaxiomatic methodalgorithmic theoryaxiomatic theorylittle theories methodbiform theorycomputer theorem proving

Mathematics Subject Classification ID

Related Items (4)

Generic Literals ⋮ Integrating searching and authoring in Mizar ⋮ High-Level Theories ⋮ The definition of mathematics: philosophical and pedagogical aspects

Uses Software

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

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