Interval-based projection method for under-constrained numerical systems

DOI10.1007/s10601-012-9126-yzbMath1309.90101MaRDI QIDQ487645

Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann

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

zbMATH Keywords

interval analysis; projection method; existentially quantified constraints; numerical constraint programming; under-constrained systems

Mathematics Subject Classification ID

90C30: Nonlinear programming

Related Items

Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects, Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems, raSAT: an SMT solver for polynomial constraints, A branch and prune algorithm for the computation of generalized aspects of parallel robots

Uses Software

• INTBIS
• RealPaver
• gaol
• AQCS
• IbexOpt
• Numerica

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