A science of reasoning: Extended abstract

DOI10.1007/3-540-52885-7_119MaRDI QIDQ6488565zbMATH OpenFDO

Authors Alan Bundy

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_119

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1189094
• Plans and planning in mathematical proofs
• Why proof? What is a proof?
• Proving and programming
• A Computational Framework For Understanding Mathematical Discoursexy

Cites work

• Computer proofs of limit theorems
• scientific article; zbMATH DE number 4072439 (Why is no real title available?)
• scientific article; zbMATH DE number 3203766 (Why is no real title available?)

Cited in

(8)

• Reasoning in science and mathematics. Essays on logic as the art of reasoning well
• scientific article; zbMATH DE number 1189094 (Why is no real title available?)
• scientific article; zbMATH DE number 1004880 (Why is no real title available?)
• A Computational Framework For Understanding Mathematical Discoursexy
• Plans and planning in mathematical proofs
• Proofs, reasoning and the metamorphosis of logic
• Advances in Artificial Intelligence
• A Dynamic Poincaré Principle

This page was built for publication: A science of reasoning: Extended abstract

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