scientific article; zbMATH DE number 5130862
From MaRDI portal
Publication:3424928
Recommendations
- scientific article; zbMATH DE number 2080310
- Automated Deduction in Geometry
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
- A systematic framework for solving geometric constraints analytically
- A formalization of geometric constraint systems and their decomposition
- Geometric constraint decomposition: the general case
Cited in
(5)- Body-and-cad geometric constraint systems
- scientific article; zbMATH DE number 2080310 (Why is no real title available?)
- Equation systems with free-coordinates determinants
- Reconciling conflicting combinatorial preprocessors for geometric constraint systems
- Optimized parametrization of systems of incidences between rigid bodies
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 Q3424928)