scientific article

zbMath1219.68141MaRDI QIDQ3006508

Simon Colton

Publication date: 20 June 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

mathematical softwareautomated theory formation in mathematicsaxioms of a domainHR systemlarge scale task

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Calculation of integer sequences (11Y55)

Related Items (19)

Automated conjectures on upper bounds for the largest Laplacian eigenvalue of graphs ⋮ Proof planning with multiple strategies ⋮ 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 ⋮ Automated conjecture making in number theory using HR, Otter and Maple ⋮ User interaction with the Matita proof assistant ⋮ A survey of automated conjectures in spectral graph theory ⋮ Bridging the gap between argumentation theory and the philosophy of mathematics ⋮ HR ⋮ CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS

Uses Software

• Mace4
• OEIS
• GRAFFITI
• C4.5
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: