scientific article; zbMATH DE number 2080310

MaRDI QIDQ4473029zbMATH OpenFDO

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

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Geometric constraint solving with geometric transformation
• scientific article; zbMATH DE number 1745032
• scientific article; zbMATH DE number 5130862
• scientific article; zbMATH DE number 1163555
• A 2-D geometric constraint solver using DOF-based graph reduction.

Cited in

(19)

• A 2-D geometric constraint solver using DOF-based graph reduction.
• A rigorous global filtering algorithm for quadratic constraints
• Improving inter-block backtracking with interval Newton
• The reachability problem in constructive geometric constraint solving based dynamic geometry
• Revisiting variable radius circles in constructive geometric constraint solving
• Modified geometric transformation methods for geometric constraint solving
• scientific article; zbMATH DE number 5130862 (Why is no real title available?)
• scientific article; zbMATH DE number 1261014 (Why is no real title available?)
• Body-and-cad geometric constraint systems
• scientific article; zbMATH DE number 1745032 (Why is no real title available?)
• Solving Dynamic Geometric Constraints Involving Inequalities
• Automated Deduction in Geometry
• Geometric constraint solving with conics and linkages
• Using invariance under the similarity group to solve geometric constraint systems
• Solving geometrical constraint systems using CLP based on linear constraint solver
• Interrogating witnesses for geometric constraint solving
• Geometric constraint solving with geometric transformation
• Solving interval constraints by linearization in computer-aided design
• A formalization of geometric constraint systems and their decomposition

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)