scientific article; zbMATH DE number 2154400
From MaRDI portal
Publication:4664927
zbMath1063.68093MaRDI QIDQ4664927
Martin Pollet, Armin Fiedler, Andreas Meier, Immanuel Normann, Christoph Benzmüller, Jörg H. Siekmann
Publication date: 9 April 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A proof-centric approach to mathematical assistants ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Automation for interactive proof: first prototype ⋮ Extending Sledgehammer with SMT Solvers ⋮ Lightweight relevance filtering for machine-generated resolution problems ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Extending Sledgehammer with SMT solvers
Uses Software
