HR

swMATH10392MaRDI QIDQ22353

No author found.

Related Items (25)

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

This page was built for software: HR