scientific article; zbMATH DE number 1980938

zbMath1023.68660MaRDI QIDQ4428312

Andreas Meier, Christoph Benzmüller, Armin Fiedler, Martin Pollet, Jörg H. Siekmann

Publication date: 15 September 2003

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

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

Mathematics Subject Classification ID

Related Items

Proof planning with multiple strategies ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ A User-friendly Interface for a Lightweight Verification System ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems

Uses Software

• Coq
• GAP
• TPS
• PVS
• TPTP
• HOL
• Nuprl
• MBase
• MathWeb
• Leo
• OMEGA
• Omega-ANTS
• LOUI
• TRAMP