scientific article
From MaRDI portal
Publication:3006508
zbMath1219.68141MaRDI QIDQ3006508
Publication date: 20 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
mathematical softwareautomated theory formation in mathematicsaxioms of a domainHR systemlarge scale task
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
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
