scientific article; zbMATH DE number 778202

zbMATH Open0855.68086MaRDI QIDQ4840652FDOQ4840652

Dongming Wang

Publication date: 24 July 1995

Title of this publication is not available (Why is that?)

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Geometric constraint solving with geometric transformation
• Towards an intelligent and dynamic geometry book
• Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method

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)