Publication:4664927
From MaRDI portal
zbMath1063.68093MaRDI QIDQ4664927
Christoph Benzmüller, Andreas Meier, Jörg H. Siekmann, Martin Pollet, Armin Fiedler, Immanuel Normann
Publication date: 9 April 2005
Related Items
A proof-centric approach to mathematical assistants, Computer supported mathematics with \(\Omega\)MEGA, Lightweight relevance filtering for machine-generated resolution problems, Automation for interactive proof: first prototype, Formal Proof: Reconciling Correctness and Understanding
Uses Software