Pages that link to "Item:Q3126153"
From MaRDI portal
The following pages link to CORRECTNESS PROOF OF A GEOMETRIC CONSTRAINT SOLVER (Q3126153):
Displaying 6 items.
- The reachability problem in constructive geometric constraint solving based dynamic geometry (Q2352486) (← links)
- Searching the solution space in constructive geometric constraint solving with genetic algorithms (Q2574087) (← links)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY (Q3422212) (← links)
- AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS (Q5696541) (← links)
- Decomposition plans for geometric constraint systems. I: Performance measures for CAD (Q5933499) (← links)
- Decomposition plans for geometric constraint problems. II: New algorithms (Q5933500) (← links)