Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps

DOI10.1007/978-3-540-73445-1_4MaRDI QIDQ3612651zbMATH OpenOpenAlexFDO

Authors Hicham Bensaid, Ricardo Caferra, Nicolas Peltier

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73445-1_4

Mathematics Subject Classification ID

Recommendations

• On the modelling of search in theorem proving -- towards a theory of strategy analysis
• Automatic acquisition of search guiding heuristics
• scientific article; zbMATH DE number 4203762
• Proofs as schemas and their heuristic use
• scientific article; zbMATH DE number 1737186

Cites work

• Mathematica

Cited in

(3)

• A complete superposition calculus for primal grammars
• Perfect discrimination graphs: indexing terms with integer exponents
• Refinements to depth-first iterative-deepening search in automatic theorem proving

Describes a project that uses

Uses Software

• Mathematica
• SPIKE
• E Theorem Prover

This page was built for publication: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612651)