A systematic framework for solving geometric constraints analytically

DOI10.1006/JSCO.2000.0392MaRDI QIDQ5926297zbMATH OpenOpenAlexFDO

Authors Cassiano Durand, Christoph M. Hoffmann

Publication date 21 August 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d8a0449dd74cd8cb66574533e8bd5e0a395a3f70

zbMATH Keywords

nonlinear systemshomotopy continuationcomparison of methodsgeometric constraintsgeometric reasoningelimination methodssymbolic reductionGröbner basis methods

Mathematics Subject Classification ID

Numerical computation of solutions to systems of equations (65H10) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Global methods, including homotopy approaches to the numerical solution of nonlinear equations (65H20)

Recommendations

• Geometric constraint solving with geometric transformation
• Computational and Information Science
• scientific article; zbMATH DE number 1745032
• Numerical algebraic geometry and algebraic kinematics
• Real algebraic geometry for geometric constraints

Cites work

• 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?)
• A Polyhedral Method for Solving Sparse Polynomial Systems
• 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 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
• 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 The Complexity of Computing Mixed Volumes
• On graphs and rigidity of plane skeletal structures
• 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

(15)

• scientific article; zbMATH DE number 1571480 (Why is no real title available?)
• Geometrically-based consequences of internal constraints
• Solving Dynamic Geometric Constraints Involving Inequalities
• scientific article; zbMATH DE number 5130862 (Why is no real title available?)
• Properties of nonlinear systems and convergence of the Newton-Raphson method in geometric constraint solving
• Real algebraic geometry for geometric constraints
• AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS
• Geometric constraint solving: the witness configuration method
• A new constructive approach to constraint-based geometric design
• Using invariance under the similarity group to solve geometric constraint systems
• Computational and Information Science
• Automated Deduction in Geometry
• Singularity analysis of geometric constraint systems
• Foreword to special issue
• A robust and efficient method for solving point distance problems by homotopy

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)