Managing Automatically Formed Mathematical Theories

DOI10.1007/11812289_19MaRDI QIDQ5756766zbMATH OpenOpenAlexFDO

Authors Simon Colton, Pedro J. Torres, Paul Cairns, Volker Sorge

Publication date 5 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11812289_19

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2090307
• scientific article; zbMATH DE number 5909822
• ILP for mathematical discovery.
• Automated conjecture making in number theory using HR, Otter and Maple
• Mathematical applications of inductive logic programming

Cited in

(6)

• Mathematical applications of inductive logic programming
• Automated conjecture making in number theory using HR, Otter and Maple
• scientific article; zbMATH DE number 5909822 (Why is no real title available?)
• scientific article; zbMATH DE number 3898269 (Why is no real title available?)
• scientific article; zbMATH DE number 2090307 (Why is no real title available?)
• ILP for mathematical discovery.

This page was built for publication: Managing Automatically Formed Mathematical Theories

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