scientific article; zbMATH DE number 1787153

MaRDI QIDQ4548193zbMATH OpenFDO

Authors Mateja Jamnik, Alan Bundy, Ian Green

Publication date 21 August 2002

zbMATH Keywords

automated theorem provingdiagrammatic proofs

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• On automating diagrammatic proofs of arithmetic arguments
• scientific article; zbMATH DE number 1852974
• Automated theorem proving in Euler diagram systems
• scientific article; zbMATH DE number 1670623
• scientific article; zbMATH DE number 972598

Cited in

(9)

• On automating diagrammatic proofs of arithmetic arguments
• New uses of linear arithmetic in automated theorem proving by induction
• scientific article; zbMATH DE number 1670623 (Why is no real title available?)
• Automating Change of Representation for Proofs in Discrete Mathematics
• scientific article; zbMATH DE number 1474909 (Why is no real title available?)
• scientific article; zbMATH DE number 2086734 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 972598 (Why is no real title available?)
• Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method

Describes a project that uses

Uses Software

• Nuprl

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 Q4548193)