scientific article; zbMATH DE number 2080310
From MaRDI portal
Publication:4473029
zbMATH Open1044.68771MaRDI QIDQ4473029FDOQ4473029
Authors: Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher 
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940233.htm
Title of this publication is not available (Why is that?)
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)
Cited In (19)
- Interrogating witnesses for geometric constraint solving
- Solving geometrical constraint systems using CLP based on linear constraint solver
- Solving Dynamic Geometric Constraints Involving Inequalities
- Title not available (Why is that?)
- Modified geometric transformation methods for geometric constraint solving
- The reachability problem in constructive geometric constraint solving based dynamic geometry
- Solving interval constraints by linearization in computer-aided design
- Body-and-cad geometric constraint systems
- Title not available (Why is that?)
- A 2-D geometric constraint solver using DOF-based graph reduction.
- Improving inter-block backtracking with interval Newton
- Title not available (Why is that?)
- Geometric constraint solving with conics and linkages
- Using invariance under the similarity group to solve geometric constraint systems
- Geometric constraint solving with geometric transformation
- A formalization of geometric constraint systems and their decomposition
- Automated Deduction in Geometry
- A rigorous global filtering algorithm for quadratic constraints
- Revisiting variable radius circles in constructive geometric constraint solving
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 Q4473029)
