scientific article; zbMATH DE number 1543304

zbMath0961.68117MaRDI QIDQ4520772

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

Publication date: 27 February 2001

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem provingMathWeb architecture

Mathematics Subject Classification ID

Related Items

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

Uses Software

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