scientific article; zbMATH DE number 3926283

MaRDI QIDQ3700869zbMATH OpenFDO

Authors Wen-tsün Wu

Publication date 1984

zbMATH Keywords

foundations of geometryelementary geometryChina-ProverPascal-Conic theorem

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Software, source code, etc. for problems pertaining to geometry (51-04)

Recommendations

• Basic principles of mechanical theorem proving in elementary geometries
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 4031634
• scientific article; zbMATH DE number 4021099
• scientific article; zbMATH DE number 41286

Cited in

(25)

• scientific article; zbMATH DE number 1601215 (Why is no real title available?)
• A bridge between dynamic geometry and computer algebra
• A refutational approach to geometry theorem proving
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• Geometry machines: from AI to SMC
• A parametric approach to 3D dynamic geometry
• Mechanical geometry theorem proving based on Gröbner bases
• Wu's method and its application to perspective viewing
• Algorithms for computing triangular decomposition of polynomial systems
• Connecting the 3D DGS Calques3D with the CAS Maple
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Mechanical theorem proving in projective geometry
• scientific article; zbMATH DE number 4049614 (Why is no real title available?)
• scientific article; zbMATH DE number 4021099 (Why is no real title available?)
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
• The parallel numerical method of mechanical theorem proving
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Using Gröbner bases to reason about geometry problems
• Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Conditions for the origin to be a center and the bifurcation of limit cycles in a class of cubic systems
• Basic principles of mechanical theorem proving in elementary geometries
• Automatic deduction in (dynamic) geometry: Loci computation

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