An identity method for proving geometry theorems based on Wu's method

DOI10.1360/SSM-2020-0108MaRDI QIDQ5064252zbMATH OpenOpenAlexFDO

Authors Yu Zou, Xicheng Peng, Yongsheng Rao

Publication date 21 March 2022

Published in SCIENTIA SINICA Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1360/ssm-2020-0108

zbMATH Keywords

geometry theorem provingidentity methodpoint geometryWu's method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Computational methods for problems pertaining to geometry (51-08)

Recommendations

• scientific article; zbMATH DE number 4164190
• scientific article; zbMATH DE number 4031634
• scientific article; zbMATH DE number 3926285
• An introduction to Wu's method for mechanical theorem proving in geometry
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• A geometric proof of the Bianchi identity
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle

Cited in

(4)

• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• Self-evident automated geometric theorem proving based on complex number identity
• Geometric interpretation and application of non-degenerate conditions in geometric theorem proving

This page was built for publication: An identity method for proving geometry theorems based on Wu's method

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