scientific article; zbMATH DE number 4031634
From MaRDI portal
Publication:3772181
Recommendations
Cited in
(24)- A method for the mechanical derivation of formulas in elementary geometry
- Wu's method and its application to perspective viewing
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
- A refutational approach to geometry theorem proving
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity
- The dimension method in elementary and differential geometry
- A generalized Euclidean algorithm for geometry theorem proving
- Detecting truth, just on parts
- An invitation to analysing geometric problems by executing pseudodivisions
- Formalization of Wu's simple method in Coq
- scientific article; zbMATH DE number 4164190 (Why is no real title available?)
- scientific article; zbMATH DE number 3926283 (Why is no real title available?)
- scientific article; zbMATH DE number 3926285 (Why is no real title available?)
- scientific article; zbMATH DE number 4021099 (Why is no real title available?)
- scientific article; zbMATH DE number 1189071 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 1281390 (Why is no real title available?)
- scientific article; zbMATH DE number 1555236 (Why is no real title available?)
- scientific article; zbMATH DE number 1390433 (Why is no real title available?)
- An identity method for proving geometry theorems based on Wu's method
- Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
- Geometry machines: from AI to SMC
- A decision method for certain algebraic geometry problems
- Transcendental functions and mechanical theorem proving in elementary geometries
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 Q3772181)
