scientific article
From MaRDI portal
Publication:2723444
zbMath0963.68537MaRDI QIDQ2723444
Publication date: 5 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Semi-intelligible Isar proofs from machine-generated proofs ⋮ Proof planning with multiple strategies ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Lemmatization for Stronger Reasoning in Large Theories ⋮ Automation for interactive proof: first prototype ⋮ Combined reasoning by automated cooperation ⋮ A Foundational View on Integration Problems ⋮ Efficiently checking propositional refutations in HOL theorem provers ⋮ Scalable fine-grained proofs for formula processing ⋮ TRAMP ⋮ An Interactive Derivation Viewer ⋮ Extending Sledgehammer with SMT solvers ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
Uses Software