Interval-based projection method for under-constrained numerical systems
From MaRDI portal
Publication:487645
DOI10.1007/S10601-012-9126-YzbMATH Open1309.90101OpenAlexW2067783185MaRDI QIDQ487645FDOQ487645
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
Recommendations
- Under and over projection methods for solving linear inequality systems
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
- An interior-point method for solving box-constrained underdetermined nonlinear systems
- Improving Enclosure of Interval Scalar Projection Operation
- Numerical constraint satisfaction problems with non-isolated solutions
interval analysisprojection methodexistentially quantified constraintsnumerical constraint programmingunder-constrained systems
Cites Work
- Algorithm 681: INTBIS, a portable interval Newton/bisection package
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nonlinear systems.
- Handbook of constraint programming.
- Interval Methods for Systems of Equations
- A new technique in systems analysis under interval uncertainty and ambiguity
- Title not available (Why is that?)
- Quantified set inversion algorithm with applications to control
- Bounding solutions of systems of equations using interval analysis
- Title not available (Why is that?)
- Inner and Outer Approximations of Existentially Quantified Equality Constraints
- Title not available (Why is that?)
- Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary's idea justified
- Title not available (Why is that?)
Cited In (6)
- Improving Enclosure of Interval Scalar Projection Operation
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
- raSAT: an SMT solver for polynomial constraints
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
- 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
This page was built for publication: Interval-based projection method for under-constrained numerical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487645)
