Solving interval constraints by linearization in computer-aided design
From MaRDI portal
Publication:868685
DOI10.1007/s11155-006-9023-4zbMath1110.65018OpenAlexW1966392227MaRDI QIDQ868685
Bartholomew O. Nnaji, Yan Wang
Publication date: 6 March 2007
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11155-006-9023-4
Interval and finite arithmetic (65G30) Iterative numerical methods for linear systems (65F10) Computer-aided design (modeling of curves and surfaces) (65D17)
Related Items
Finding all solution sets of piecewise-linear interval equations using an integer programming solver
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An interval Newton method
- Degree reduction of interval Bézier curves
- Preconditioning linearized equations
- On interval enclosures using slope arithmetic
- Robust interval solid modelling. II: Boundary evaluation.
- An improved interval Newton operator
- Variation of geometries based on a geometric-reasoning method
- Bounding the slope of polynomial operators and some applications
- Bounding solutions of systems of equations using interval analysis
- An approach to computer-aided parametric design
- Algebraic method for manipulation of dimensional relationships in geometric models
- Interval forms of Newtons method
- A note on the Bernstein algorithm for bounds for interval polynomials
- A note on epsilon-inflation
- Efficient control of the dependency problem based on Taylor model methods
- Solving underdetermined systems with interval methods
- Computation of singularities and intersections of offsets of planar curves
- Constructive constraint-based model for parametric CAD systems
- Rigorous global search: continuous problems
- A verification method for solutions of nonsmooth equations
- Inclusion of zeros of nowhere differentiable \(n\)-dimensional functions
- Use of interval slopes for the irrational part of factorable functions
- Algebraic approach in the ``outer problem for interval linear equations
- Automatic generation of numerical redundancies for nonlinear constraint solving
- Robust interval algorithm for surface intersections
- Bounds for the range of a bivariate polynomial over a triangle
- Computation and application of Taylor polynomials with interval remainder bounds
- A new method for global solution of systems of nonlinear equations
- Geometric constraint satisfaction using optimization methods.
- A 2-D geometric constraint solver using DOF-based graph reduction.
- Interval analysis: Theory and applications
- Sharp bounds on interval polynomial roots
- Efficient interval linear equality solving in constraint logic programming
- Sparse systems in fixed point form
- On existence and uniqueness verification for non-smooth functions
- An improved method for global solution of nonlinear systems
- A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
- Horner's rule for interval evaluation revisited
- A new technique in systems analysis under interval uncertainty and ambiguity
- Symbolic preconditioning with Taylor models: Some examples
- Taylor forms -- use and limits.
- Bernstein form is inclusion monotone
- Epsilon-inflation in verification algorithms
- Geometric constraint solver
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Preconditioners for the Interval Gauss–Seidel Method
- On the Convergence of Some Interval-Arithmetic Modifications of Newton’s Method
- Interval Slopes for Rational Functions and Associated Centered Forms
- A Modification of Krawczyk’s Algorithm
- A Successive Interval Test for Nonlinear Systems
- Interval Methods for Systems of Equations
- Bounding the Solution of Interval Linear Equations
- Analysis of Uncertain Structural Systems Using Interval Analysis
- A Comparison of some Methods for Solving Linear Interval Equations
- Existence Verification for Higher Degree Singular Zeros of Nonlinear Systems
- On Shary's Algebraic Approach for Linear Interval Equations
- Existence Verification for Singular Zeros of Complex Nonlinear Systems
- A Quadratically Convergent Krawczyk-Like Algorithm
- Interval Arithmetic in Matrix Computations, Part I
- Interval Arithmetic in Matrix Computations, Part II
- Decomposition plans for geometric constraint systems. I: Performance measures for CAD
- Decomposition plans for geometric constraint problems. II: New algorithms
- On bounding solutions of underdetermined systems
- Automatic computation of a linear interval enclosure
- Cheap and tight bounds on the solution set of perturbed systems of nonlinear equations