scientific article; zbMATH DE number 3926283
From MaRDI portal
Publication:3700869
zbMATH Open0578.68077MaRDI QIDQ3700869FDOQ3700869
Authors: Wen-tsün Wu 
Publication date: 1984
Title of this publication is not available (Why is that?)
Recommendations
Foundations of classical theories (including reverse mathematics) (03B30) Software, source code, etc. for problems pertaining to geometry (51-04)
Cited In (25)
- Title not available (Why is that?)
- A bridge between dynamic geometry and computer algebra
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A refutational approach to geometry theorem proving
- 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
- Title not available (Why is that?)
- Mechanical theorem proving in projective geometry
- Title not available (Why is that?)
- 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)
