Interval-based projection method for under-constrained numerical systems
From MaRDI portal
Publication:487645
DOI10.1007/s10601-012-9126-yzbMath1309.90101OpenAlexW2067783185MaRDI QIDQ487645
Christophe Jermann, Daisuke Ishii, Alexandre Goldsztejn
Publication date: 22 January 2015
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-012-9126-y
interval analysisprojection methodexistentially quantified constraintsnumerical constraint programmingunder-constrained systems
Related Items
Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ raSAT: an SMT solver for polynomial constraints ⋮ Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems ⋮ A branch and prune algorithm for the computation of generalized aspects of parallel robots
Uses Software
Cites Work
- Bounding solutions of systems of equations using interval analysis
- Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary's idea justified
- A new technique in systems analysis under interval uncertainty and ambiguity
- Quantified set inversion algorithm with applications to control
- Inner and Outer Approximations of Existentially Quantified Equality Constraints
- Interval Methods for Systems of Equations
- Algorithm 681: INTBIS, a portable interval Newton/bisection package
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
