Geometric construction by assembling solved subfigures
From MaRDI portal
Publication:1128611
DOI10.1016/S0004-3702(97)00070-2zbMath0903.68149OpenAlexW1980097485MaRDI QIDQ1128611
Pascal Mathis, Jean-François Dufourd, 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
multi-agent systemcomputer-aided designassembling of figuresblackboardgeometric formal constructionlocal solvingsystem of geometric constraints
Related Items (8)
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Towards a better integration of modelers and black box constraint solvers within the product design process ⋮ On the mechanization of straightedge and compass constructions ⋮ A formalization of geometric constraint systems and their decomposition ⋮ 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 ⋮ Sketch-based pruning of a solution space within a formal geometric constraint solver
Uses Software
Cites Work
- Variation of geometries based on a geometric-reasoning method
- Modular algebraic specification of some basic geometrical constructions
- Topological models for boundary representation: A comparison with \(n\)- dimensional generalized maps
- Rule-oriented method for parameterized computer-aided design
- Geometric constraint solver
- A note on the modeling space of Euler operators
- Algebraic specification and development in geometric modeling
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Geometric construction by assembling solved subfigures
