Making conjectures about Maple functions

DOI10.1007/3-540-45470-5_24MaRDI QIDQ4808724zbMATH OpenFDO

Authors Simon Colton

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2385/23850259.htm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated conjecture making in number theory using HR, Otter and Maple
• Automated Deduction – CADE-19
• On a computer algebra technology
• The HR program for theorem generation
• Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited

Cited in

(5)

• Mathematical applications of inductive logic programming
• Dealing with algebraic expressions over a field in Coq using Maple
• Automated conjecture making in number theory using HR, Otter and Maple
• scientific article; zbMATH DE number 5117559 (Why is no real title available?)
• The guess-and-prove paradigm in action

Describes a project that uses

Uses Software

• Maple
• OTTER

This page was built for publication: Making conjectures about Maple functions

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