scientific article; zbMATH DE number 1149429

MaRDI QIDQ4386951zbMATH OpenFDO

Authors

Publication date 11 May 1998

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Symbolic constraints in constructive geometric constraint solving
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• A formalization of geometric constraint systems and their decomposition
• Geometric constraint satisfaction using optimization methods.
• Combinatorial approaches to geometrie constraint solving: problems, progress, and directions
• Automated Deduction in Geometry

Cited in

(7)

• Sketch-based pruning of a solution space within a formal geometric constraint solver
• A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
• Solving geometry problems using a combination of symbolic and numerical reasoning
• scientific article; zbMATH DE number 1286320 (Why is no real title available?)
• Geometric constraint decomposition: the general case
• scientific article; zbMATH DE number 4187177 (Why is no real title available?)
• A symbolic-interval inference approach for constraint satisfaction: implementation on kinematics applications

Describes a project that uses

Uses Software

• Juno-2

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 Q4386951)