System description: The MathWeb software bus for distributed mathematical reasoning

DOI10.1007/3-540-45620-1_11MaRDI QIDQ4809049zbMATH OpenFDO

Authors Jürgen Zimmer, Michael Kohlhase

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2392/23920139.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Inductive theorem proving and computer algebra in the MathWeb Software Bus
• scientific article; zbMATH DE number 1543304
• Towards the Mathematics Software Bus
• Automated theorem provers: a practical tool for the working mathematician?
• System description: MBase, an open mathematical knowledge base

Cited in

(8)

• Towards the Mathematics Software Bus
• Constraint solving for proof planning
• MathWeb
• An online computing and knowledge platform for differential equations
• scientific article; zbMATH DE number 1543304 (Why is no real title available?)
• Inductive theorem proving and computer algebra in the MathWeb Software Bus
• Innovations in computational type theory using Nuprl
• Computer supported mathematics with MEGA

Describes a project that uses

Uses Software

• OMRS
• TPTP
• Mozart
• PVS

This page was built for publication: System description: The MathWeb software bus for distributed mathematical reasoning

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