Publication:2723444
From MaRDI portal
zbMath0963.68537MaRDI QIDQ2723444
Publication date: 5 July 2001
03B35: Mechanization of proofs and logical operations
Related Items
A Foundational View on Integration Problems, TRAMP, Computer supported mathematics with \(\Omega\)MEGA, Combined reasoning by automated cooperation, Efficiently checking propositional refutations in HOL theorem provers, Proof planning with multiple strategies, Automation for interactive proof: first prototype, An Interactive Derivation Viewer
Uses Software