scientific article; zbMATH DE number 1189094

MaRDI QIDQ3838801zbMATH OpenFDO

Authors Alan Bundy

Publication date 7 June 1999

zbMATH Keywords

automatic theorem provingproof plansscience of reasoningscientific theory formationstructures of proofsunderstanding of mathematical proofs

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• A science of reasoning: Extended abstract
• Plans and planning in mathematical proofs
• Experiments with proof plans for induction
• scientific article; zbMATH DE number 1926636
• Proof planning: A practical approach to mechanized reasoning in mathematics

Cited in

(7)

• The emergence of reasons conjecture.
• Reasoning in science and mathematics. Essays on logic as the art of reasoning well
• Plans and planning in mathematical proofs
• Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
• Advances in Artificial Intelligence
• A science of reasoning: Extended abstract
• Automating Event-B invariant proofs by rippling and proof patching

This page was built for publication:

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