scientific article; zbMATH DE number 1421051

MaRDI QIDQ4946075zbMATH OpenFDO

Authors Wen-tsün Wu

Publication date 30 September 2001

zbMATH Keywords

polynomial equation-solving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Polynomials in number theory (11C08) Computational aspects and applications of commutative rings (13P99)

Recommendations

• scientific article; zbMATH DE number 1601215
• scientific article; zbMATH DE number 1555236
• A refutational approach to geometry theorem proving
• scientific article; zbMATH DE number 41286
• Basic principles of mechanical theorem proving in elementary geometries

Cited in

(14)

• Euclidean geometry in terms of automata theory
• Automatic generation of staged geometric predicates
• A deductive database approach to automated geometry theorem proving and discovering
• The dimension method in elementary and differential geometry
• Automated deduction and knowledge management in geometry
• Automatically building diagrams for olympiad geometry problems
• Automatted geometry theorem proving
• Towards the Automatic Discovery of Theorems in GeoGebra
• Realization of automatic reasoning system of geometry based on point-eliminating method
• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• scientific article; zbMATH DE number 176215 (Why is no real title available?)
• scientific article; zbMATH DE number 2079840 (Why is no real title available?)
• scientific article; zbMATH DE number 1421053 (Why is no real title available?)
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

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