Cited in
(40)- Automated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs
- User interaction with the Matita proof assistant
- IsaCoSy
- Automatic construction and verification of isotopy invariants
- scientific article; zbMATH DE number 1975610 (Why is no real title available?)
- Conjectures of TxGraffiti: independence, domination, and matchings
- Category-based co-generation of seminal concepts and results in algebra and number theory: containment-division and Goldbach rings
- Automated Reasoning
- Variable neighborhood search for extremal graphs. 20. Automated comparison of graph invariants
- Algorithmic introduction of quantified cuts
- Proof planning with multiple strategies
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Bridging the gap between argumentation theory and the philosophy of mathematics
- Automated conjecturing. III. Property-relations conjectures
- INGRID
- IsaPlanner
- GrInvIn
- Graph
- AutoGraphiX
- Graffiti.pc
- GRAFFITI
- Applying SAT solving in classification of finite algebras
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
- SicoTHEO
- MathWeb
- tptp2X
- The problem of \(\Pi_{2}\)-cut-introduction
- On the generation of quantified lemmas
- The transformational creativity hypothesis
- GRAPH
- TIP
- MATHsAiD
- GraPHedron
- Proof-pattern recognition and lemma discovery in ACL2
- Conjecture synthesis for inductive theories
- A survey of automated conjectures in spectral graph theory
- Dealing with algebraic expressions over a field in Coq using Maple
- Automated conjecture making in number theory using HR, Otter and Maple
- Mathematical applications of inductive logic programming
- Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
This page was built for software: HR