Geometric construction by assembling solved subfigures

DOI10.1016/S0004-3702(97)00070-2MaRDI QIDQ1128611zbMATH OpenOpenAlexFDO

Authors Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Publication date 13 August 1998

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(97)00070-2

zbMATH Keywords

assembling of figuresblackboardcomputer-aided designgeometric formal constructionlocal solvingmulti-agent systemsystem of geometric constraints

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Constraint definition system: A computer-algebra based approach to solving geometric-constraint problems
• scientific article; zbMATH DE number 194597
• A new constructive approach to constraint-based geometric design
• scientific article; zbMATH DE number 1223546

Cites work

• A note on the modeling space of Euler operators
• Algebraic specification and development in geometric modeling
• Geometric constraint solver
• scientific article; zbMATH DE number 4195233 (Why is no real title available?)
• scientific article; zbMATH DE number 3886959 (Why is no real title available?)
• scientific article; zbMATH DE number 3860434 (Why is no real title available?)
• scientific article; zbMATH DE number 42661 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3626159 (Why is no real title available?)
• scientific article; zbMATH DE number 236854 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3307642 (Why is no real title available?)
• scientific article; zbMATH DE number 3185223 (Why is no real title available?)
• scientific article; zbMATH DE number 3053516 (Why is no real title available?)
• Modular algebraic specification of some basic geometrical constructions
• Rule-oriented method for parameterized computer-aided design
• Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
• Variation of geometries based on a geometric-reasoning method

Cited in

(10)

• Sketch-based pruning of a solution space within a formal geometric constraint solver
• On the mechanization of straightedge and compass constructions
• Towards a better integration of modelers and black box constraint solvers within the product design process
• DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY
• GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH
• WELL-CONSTRAINED COMPLETION AND DECOMPOSITION FOR UNDER-CONSTRAINED GEOMETRIC CONSTRAINT PROBLEMS
• Computer theorem proving for verifiable solving of geometric construction problems
• scientific article; zbMATH DE number 1223546 (Why is no real title available?)
• scientific article; zbMATH DE number 2087076 (Why is no real title available?)
• A formalization of geometric constraint systems and their decomposition

Describes a project that uses

Uses Software

• LT/GEOL
• Juno-2
• Geometer's Sketchpad

This page was built for publication: Geometric construction by assembling solved subfigures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128611)