scientific article; zbMATH DE number 3926284

MaRDI QIDQ3700870zbMATH OpenFDO

Authors Wen-tsün Wu

Publication date 1984

zbMATH Keywords

foundations of geometrypolynomial equations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3852462
• scientific article; zbMATH DE number 4160161
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 4021099
• On protocols for the automated discovery of theorems in elementary geometry
• Mechanical Theorem Proving in Tarski’s Geometry
• scientific article; zbMATH DE number 1421051
• Machine Proofs in Geometry
• scientific article; zbMATH DE number 994744

Cited in

(35)

• Why Horn formulas matter in computer science: initial structures and generic examples
• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• What does ``without loss of generality mean, and how do we detect it
• Towards an intelligent and dynamic geometry book
• The undecidability of orthogonal and origami geometries
• Automated development of Tarski's geometry
• Elimination procedures for mechanical theorem proving in geometry
• Automated deduction and knowledge management in geometry
• Automated detection of interesting properties in regular polygons
• Free objects and Gröbner-Shirshov bases in operated contexts
• A parametric approach to 3D dynamic geometry
• Numerical generation of periodic traveling wave solutions of some nonlinear dispersive wave systems
• A class of mechanically decidable problems beyond Tarski's model
• Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries
• Proof and computation in geometry
• Finding solutions of fuzzy polynomial equations systems by an Algebraic method
• scientific article; zbMATH DE number 3881880 (Why is no real title available?)
• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• On the decidability of Diophantine problems in combinatorial geometry
• scientific article; zbMATH DE number 4072392 (Why is no real title available?)
• scientific article; zbMATH DE number 1189071 (Why is no real title available?)
• scientific article; zbMATH DE number 67120 (Why is no real title available?)
• scientific article; zbMATH DE number 1234830 (Why is no real title available?)
• scientific article; zbMATH DE number 194382 (Why is no real title available?)
• Finding Fuzzy Inverse Matrix Using Wu’s Method
• Computational Science and Its Applications – ICCSA 2004
• Constructions of free commutative integro-differential algebras
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• scientific article; zbMATH DE number 2247478 (Why is no real title available?)
• A bridge between dynamic geometry and computer algebra
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Some new results on decidability for elementary algebra and geometry
• A decision method for certain algebraic geometry problems
• The parallel numerical method of mechanical theorem proving
• Connecting the 3D DGS Calques3D with the CAS Maple

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