Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

DOI10.1007/3-540-58156-1_28MaRDI QIDQ5210787zbMATH OpenOpenAlexFDO

Authors Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao

Publication date 21 January 2020

Published in Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58156-1_28

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Basic principles of mechanical theorem proving in elementary geometries
• Geometric reasoning with logic and algebra
• scientific article; zbMATH DE number 4164173 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

Cited in

(6)

• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• An identity method for proving geometry theorems based on Wu's method
• Finding Fuzzy Inverse Matrix Using Wu’s Method
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Geometry machines: from AI to SMC

This page was built for publication: Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

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