HR

swMATH10392MaRDI QIDQ22353FDOQ22353

Author name not available (Why is that?)

Cited In (25)

• Variable neighborhood search for extremal graphs. 20. Automated comparison of graph invariants
• CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS
• Algorithmic introduction of quantified cuts
• Conjecture synthesis for inductive theories
• User interaction with the Matita proof assistant
• Proof-Pattern Recognition and Lemma Discovery in ACL2
• On the generation of quantified lemmas
• Mathematical applications of inductive logic programming
• Automatic construction and verification of isotopy invariants
• Dealing with algebraic expressions over a field in Coq using Maple
• Applying SAT solving in classification of finite algebras
• The transformational creativity hypothesis
• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Title not available (Why is that?)
• Bridging the gap between argumentation theory and the philosophy of mathematics
• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited
• Proof planning with multiple strategies
• The problem of \(\Pi_{2}\)-cut-introduction
• Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics
• Automated conjecturing. III. Property-relations conjectures
• Conjecture of TxGraffiti: Independence, domination, and matchings
• Automated Reasoning
• Automated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs
• A survey of automated conjectures in spectral graph theory
• Automated conjecture making in number theory using HR, Otter and Maple

This page was built for software: HR