Automated conjecture making in number theory using HR, Otter and Maple

DOI10.1016/J.JSC.2004.12.003MaRDI QIDQ2456561zbMATH OpenOpenAlexWikidataFDO

Authors Simon Colton

Publication date 19 October 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10044/1/674

zbMATH Keywords

automated mathematical discoveryautomated reasoningcomputer algebra systemsintegration of reasoning systemsmachine learning

Mathematics Subject Classification ID

Number-theoretic algorithms; complexity (11Y16) Learning and adaptive systems in artificial intelligence (68T05) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 2090053
• Automated Deduction – CADE-19
• scientific article; zbMATH DE number 2090307
• Managing Automatically Formed Mathematical Theories
• scientific article; zbMATH DE number 5909822

Cites work

• An introduction to Zariski spaces over Zariski topologies
• Automated Deduction – CADE-19
• Clausal discovery
• scientific article; zbMATH DE number 5909822 (Why is no real title available?)
• scientific article; zbMATH DE number 3754084 (Why is no real title available?)
• scientific article; zbMATH DE number 1264487 (Why is no real title available?)
• scientific article; zbMATH DE number 2084734 (Why is no real title available?)
• scientific article; zbMATH DE number 1497748 (Why is no real title available?)
• scientific article; zbMATH DE number 852510 (Why is no real title available?)
• On conjectures of Graffiti
• On the notion of interestingness in automated mathematical discovery
• Single axioms for groups and abelian groups with various operations
• Solution of the Robbins problem
• Tau numbers, natural density, and Hardy and Wright's theorem 437

Cited in

(7)

• Automated conjecturing. III. Property-relations conjectures
• scientific article; zbMATH DE number 2090053 (Why is no real title available?)
• scientific article; zbMATH DE number 2090307 (Why is no real title available?)
• Automated conjecturing of Frobenius numbers via grammatical evolution
• Managing Automatically Formed Mathematical Theories
• Automatic conjecturing of P-recursions using lifted inference
• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited

Describes a project that uses

Uses Software

• Maple
• Mace4
• OEIS
• GRAFFITI
• tptp2X
• OTTER
• MathWeb
• HR

This page was built for publication: Automated conjecture making in number theory using HR, Otter and Maple

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456561)