Mechanical geometry theorem proving
Mechanical geometry theorem proving
Fractals everywhere
Curves and surfaces for computer aided geometric design: a practical guide
Curves and surfaces for computer aided geometric design: a practical guide
Modular algebraic specification of some basic geometrical constructions
Artificial Intelligence - Special issue on geometric reasoning
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Conditions for unique graph realizations
SIAM Journal on Computing
Computation of the solutions of nonlinear polynomial systems
Computer Aided Geometric Design
Algorithms in invariant theory
Algorithms in invariant theory
Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Geometric construction by assembling solved subfigures
Artificial Intelligence
An introduction to support Vector Machines: and other kernel-based learning methods
An introduction to support Vector Machines: and other kernel-based learning methods
A systematic framework for solving geometric constraints analytically
Journal of Symbolic Computation
Decomposition plans for geometric constraint systems, part I: performance measures for CAD
Journal of Symbolic Computation
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
Transforming an under-constrained geometric constraint problem into a well-constrained one
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Geometric constraint solving via C-tree decomposition
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Robustness in CAD Geometric Constructions
IV '01 Proceedings of the Fifth International Conference on Information Visualisation
Symbolic and numerical techniques for constraint solving
Symbolic and numerical techniques for constraint solving
Analytic functions in computer-aided geometric design
Analytic functions in computer-aided geometric design
Numerical decomposition of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Spatial geometric constraint solving based on k-connected graph decomposition
Proceedings of the 2006 ACM symposium on Applied computing
Using Cayley-Menger determinants for geometric constraint solving
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
Geometric constraint solving: The witness configuration method
Computer-Aided Design
Geometric constraints within feature hierarchies
Computer-Aided Design
Geometrically exact dynamic splines
Computer-Aided Design
Formalizing Desargues' theorem in Coq using ranks
Proceedings of the 2009 ACM symposium on Applied Computing
Formalizing projective plane geometry in Coq
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
A case study in formalizing projective geometry in Coq: Desargues theorem
Computational Geometry: Theory and Applications
Interrogating witnesses for geometric constraint solving
Information and Computation
Defining tools to address over-constrained geometric problems in Computer Aided Design
Computer-Aided Design
Hi-index | 0.00 |
This paper presents some important issues and potential research tracks for Geometric Constraint Solving: the use of the simplicial Bernstein base to reduce the wrapping effect in interval methods, the computation of the dimension of the solution set with methods used to measure the dimension of fractals, the pitfalls of graph based decomposition methods, the alternative provided by linear algebra, the witness configuration method, the use of randomized provers to detect dependences between constraints, the study of incidence constraints, the search for intrinsic (coordinate-free) formulations and the need for formal specifications.