scientific article; zbMATH DE number 778202

MaRDI QIDQ4840652zbMATH OpenFDO

Authors Dongming Wang

Publication date 24 July 1995

zbMATH Keywords

elimination theoryautomatic geometric theorem provingGröbner basesinverse robot kinematic problems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computational aspects in algebraic geometry (14Q99) Analytic and descriptive geometry (51N99) Computational aspects and applications of commutative rings (13P99)

Recommendations

• Publication:4946076
• Elimination procedures for mechanical theorem proving in geometry
• Solving geometry problems using a combination of symbolic and numerical reasoning
• scientific article; zbMATH DE number 4109491

Cited in

(12)

• A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry
• Geometry machines: from AI to SMC
• Implicitization of differential rational parametric equations.
• Involutive directions and new involutive divisions
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• The area method. A recapitulation
• Automated deduction and knowledge management in geometry
• scientific article; zbMATH DE number 421655 (Why is no real title available?)
• scientific article; zbMATH DE number 2247479 (Why is no real title available?)
• Automated generation of readable proofs for constructive geometry statements with the mass point method
• Geometric constraint solving with geometric transformation
• Towards an intelligent and dynamic geometry book

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