Adaptive access to a proof planner

DOI10.1007/978-3-540-27818-4_18MaRDI QIDQ5313061zbMATH OpenOpenAlexFDO

Authors Andreas Meier, Martin Pollet, Erica Melis

Publication date 26 August 2005

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• Proof planning with multiple strategies
• Automatic Learning of Proof Methods in Proof Planning
• Towards learning new methods in proof planning
• Automated Deduction – CADE-20
• Integrating computer algebra into proof planning

Cited in

(3)

• Adapting mathematical domain reasoners
• Automated Deduction – CADE-20
• Mechanizing Mathematical Reasoning

Describes a project that uses

Uses Software

• ActiveMath
• Maple
• Proof General Kit
• OMDoc

This page was built for publication: Adaptive access to a proof planner

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