A systematic framework for solving geometric constraints analytically
From MaRDI portal
A systematic framework is presented for solving algebraic equations arising in geometric constraint solving. The approach combines geometric reasoning, symbolic reduction, and homotopy continuation. The literature concerning the methods which may be used to numerically solve the nonlinear systems which are derived are also thoroughly surveyed. Among the methods discussed are the homotopy methods, Gröbner basis methods and elimination methods.
Recommendations
Cites work
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- A homotopy for solving polynomial systems
- A new method for solving algebraic systems of positive dimension
- A Polyhedral Method for Solving Sparse Polynomial Systems
- A transformation to avoid solutions at infinity for polynomial systems
- Algebraic method for manipulation of dimensional relationships in geometric models
- An introduction to Wu's method for mechanical theorem proving in geometry
- Associative differential operations
- Basic principles of mechanical theorem proving in elementary geometries
- Bernstein's theorem in affine space
- Coefficient-parameter polynomial continuation
- Decomposing polynomial systems into simple systems
- Efficient Algorithms for MultiPolynomial Resultant
- Efficient incremental algorithms for the sparse resultant and the mixed volume
- Geometric constraint solver
- scientific article; zbMATH DE number 434714 (Why is no real title available?)
- scientific article; zbMATH DE number 3928227 (Why is no real title available?)
- scientific article; zbMATH DE number 3941661 (Why is no real title available?)
- scientific article; zbMATH DE number 3969683 (Why is no real title available?)
- scientific article; zbMATH DE number 4022030 (Why is no real title available?)
- scientific article; zbMATH DE number 47206 (Why is no real title available?)
- scientific article; zbMATH DE number 50337 (Why is no real title available?)
- scientific article; zbMATH DE number 108068 (Why is no real title available?)
- scientific article; zbMATH DE number 108341 (Why is no real title available?)
- scientific article; zbMATH DE number 575960 (Why is no real title available?)
- scientific article; zbMATH DE number 3007259 (Why is no real title available?)
- scientific article; zbMATH DE number 1069614 (Why is no real title available?)
- scientific article; zbMATH DE number 236540 (Why is no real title available?)
- scientific article; zbMATH DE number 2188749 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Mixed volumes of polytopes
- Mixed-volume computation by dynamic lifting applied to polynomial system solving
- Multipolynomial resultant algorithms
- Newton polyhedra and toroidal varieties
- On graphs and rigidity of plane skeletal structures
- On The Complexity of Computing Mixed Volumes
- On the theories of triangular sets
- Rule-oriented method for parameterized computer-aided design
- Solving degenerate sparse polynomial systems faster
- Symbolic constraints in constructive geometric constraint solving
- Techniques of scientific computing (Part 2)
- The Cheater’s Homotopy: An Efficient Procedure for Solving Systems of Polynomial Equations
- Variation of geometries based on a geometric-reasoning method
Cited in
(16)- Constraint definition system: A computer-algebra based approach to solving geometric-constraint problems
- Geometrically-based consequences of internal constraints
- Singularity analysis of geometric constraint systems
- Foreword to special issue
- scientific article; zbMATH DE number 1571480 (Why is no real title available?)
- Properties of nonlinear systems and convergence of the Newton-Raphson method in geometric constraint solving
- scientific article; zbMATH DE number 5130862 (Why is no real title available?)
- Real algebraic geometry for geometric constraints
- A robust and efficient method for solving point distance problems by homotopy
- Solving Dynamic Geometric Constraints Involving Inequalities
- Computational and Information Science
- AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS
- Automated Deduction in Geometry
- A new constructive approach to constraint-based geometric design
- Geometric constraint solving: the witness configuration method
- Using invariance under the similarity group to solve geometric constraint systems
This page was built for publication: A systematic framework for solving geometric constraints analytically
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5926297)
