scientific article; zbMATH DE number 778202
From MaRDI portal
Publication:4840652
zbMATH Open0855.68086MaRDI QIDQ4840652FDOQ4840652
Publication date: 24 July 1995
Title of this publication is not available (Why is that?)
Recommendations
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)