scientific article; zbMATH DE number 1543304

MaRDI QIDQ4520772zbMATH OpenFDO

Authors Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_5_3/agent_oriented_integration_of

zbMATH Keywords

automated theorem provingMathWeb architecture

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1497751
• scientific article; zbMATH DE number 1882065
• scientific article; zbMATH DE number 2090294
• Communication protocols for mathematical services based on KQML and OMRS
• Distributed modal theorem proving with KE

Cited in

(8)

• Communication protocols for mathematical services based on KQML and OMRS
• -ANTS -- An open approach at combining interactive and automated theorem proving
• scientific article; zbMATH DE number 1497751 (Why is no real title available?)
• scientific article; zbMATH DE number 2090294 (Why is no real title available?)
• Deduction as an engineering science
• The control layer in open mechanized reasoning systems: Annotations and tactics
• On the role of OpenMath in interactive mathematical documents
• MBase: Representing knowledge and context for the integration of mathematical software systems

Describes a project that uses

Uses Software

• OMRS
• Mizar
• TPS
• OTTER
• ETPS
• Oz

This page was built for publication:

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