scientific article; zbMATH DE number 778202
From MaRDI portal
Publication:4840652
zbMath0855.68086MaRDI QIDQ4840652
Publication date: 24 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Geometric constraint solving with geometric transformation ⋮ Towards an intelligent and dynamic geometry book ⋮ A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications ⋮ The area method. A recapitulation ⋮ Implicitization of differential rational parametric equations. ⋮ Automated deduction and knowledge management in geometry ⋮ Involutive directions and new involutive divisions ⋮ Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method ⋮ A practical symbolic algorithm for the inverse kinematics of 6R manipulators with simple geometry
This page was built for publication:
