Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming. (English) Zbl 07780862
MSC:
65-XX
Found 11 Documents (Results 1–11)
Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization. (English) Zbl 1403.90612
A certified branch & bound approach for reliability-based optimization problems. (English) Zbl 1382.90070
On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach. (English) Zbl 1332.90251
MSC:
90C29
Interval-based projection method for under-constrained numerical systems. (English) Zbl 1309.90101
MSC:
90C30
Interval subroutine library mission. (English) Zbl 1165.65407
Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 28-43 (2008).
Filter Results by …
Document Type
- Journal Articles (10)
- Collection Articles (1)
all
top 5
Author
- Goldsztejn, Alexandre (4)
- Granvilliers, Laurent (3)
- Jermann, Christophe (3)
- Martin, Benjamin T. (2)
- Brönnimann, Hervé (1)
- Chevalier, Brice (1)
- Corliss, George F. (1)
- Correia, Marco (1)
- Cruz, Jorge T. M. (1)
- Domes, Ferenc (1)
- Feydy, Thibaut (1)
- Goualard, Frédéric (1)
- Ishii, Daisuke (1)
- Kearfott, Baker (1)
- Kubica, Bartłomiej Jacek (1)
- Melquiond, Guillaume (1)
- Nedialkov, Ned (1)
- Pion, Sylvain (1)
- Pryce, John D. (1)
- Stuckey, Peter James (1)
all
top 5
Serial
- J. Glob. Optim. (3)
- Constraints (2)
- ACM Trans. Math. Softw. (1)
- J. Comput. Appl. Math. (1)
- Theor. Comput. Sci. (1)
- Numer. Algorithms (1)
- Eur. J. Oper. Res. (1)
all
top 3
Software
- gaol (11)
- RealPaver (5)
- INTLAB (4)
- Numerica (4)
- PROFIL/BIAS (4)
- filib++ (4)
- Boost (3)
- INTOPT_90 (3)
- Boost Interval Arithmetic (2)
- C-XSC (2)
- IBEX (2)
- IbexOpt (2)
- MPFI (2)
- NBI (2)
- ADHC (1)
- ADOL-C (1)
- AQCS (1)
- Adept (1)
- Boost C++ Libraries (1)
- C-XSC 2.0 (1)
- CGAL (1)
- COCONUT (1)
- CPLEX (1)
- CppAD (1)
- GLOPTLAB (1)
- GSL (1)
- GitHub (1)
- HIBA_USNE (1)
- INTBIS (1)
- Intel TBB (1)
- LAPACK (1)
- Mathematica (1)
- Mercury (1)
- NSGA-II (1)
- OpenBLAS (1)
- PAINT (1)
- PETSc (1)
- SLDRIVER (1)
- SLTSTPAK (1)
- SPEA2 (1)
- Slatec (1)
- TensorFlow (1)
- Test Set for IVP Solvers (1)
- TopDeg (1)
- Traits (1)
- eplex (1)
- mctoolbox (1)
