Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
From MaRDI portal
Publication:5210787
DOI10.1007/3-540-58156-1_28zbMath1433.68547OpenAlexW1524766213MaRDI QIDQ5210787
Shang-Ching Chou, Nicholas Freitag McPhee, 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
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications, Finding Fuzzy Inverse Matrix Using Wu’s Method, Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
Cites Work