A formal framework for managing mathematics

MaRDI QIDQ2767940zbMATH OpenFDO

Authors William M. Farmer, Martin von Mohrenschildt

Publication date 14 February 2002

Full work available at URL http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/

zbMATH Keywords

axiomatic methodcomputer algebralittle theories methodmechanized mathematicstheorem proving

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• An overview of 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
• Realms: a structure for consolidating knowledge about mathematical theories

Cited in

(5)

• An overview of a formal framework for managing mathematics
• Formalizing mathematical knowledge as a biform theory graph: a case study
• A universal machine for biform theory graphs
• scientific article; zbMATH DE number 2050350 (Why is no real title available?)
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework

Describes a project that uses

Uses Software

• OTTER
• Automath
• EVES
• Maple
• MACSYMA
• Nuprl
• Analytica
• AXIOM
• Coq
• Isabelle
• Theorema
• PVS
• Mizar
• HOL
• LCF
• Mathematica
• IMPS

This page was built for publication: 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 Q2767940)