Mathematically rigorous global optimization in floating-point arithmetic
From MaRDI portal
Recommendations
Cites work
- A comparison of complete global optimization solvers
- A generalization of \(p\)-boxes to affine arithmetic
- A rigorous lower bound for the optimal value of convex optimization problems
- A Test for Existence of Solutions to Nonlinear Systems
- Affine arithmetic: concepts and applications
- Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
- An efficient overloaded implementation of forward mode automatic differentiation in MATLAB
- An interval branch and bound algorithm for bound constrained optimization problems
- Bounding solutions of systems of equations using interval analysis
- Circular arithmetic and the determination of polynomial zeros
- Complete search in continuous global optimization and constraint satisfaction
- Convexification and global optimization in continuous and mixed-integer nonlinear programming. Theory, algorithms, software, and applications
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Efficient interval partitioning for constrained global optimization
- Einschliessungssatz für die charakteristischen Zahlen von Matrizen
- Evaluating Derivatives
- Fast and parallel interval arithmetic
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
- Generalized descent for global optimization
- scientific article; zbMATH DE number 3682951 (Why is no real title available?)
- scientific article; zbMATH DE number 50026 (Why is no real title available?)
- scientific article; zbMATH DE number 193463 (Why is no real title available?)
- scientific article; zbMATH DE number 714522 (Why is no real title available?)
- scientific article; zbMATH DE number 1057693 (Why is no real title available?)
- scientific article; zbMATH DE number 761488 (Why is no real title available?)
- scientific article; zbMATH DE number 815479 (Why is no real title available?)
- scientific article; zbMATH DE number 846277 (Why is no real title available?)
- scientific article; zbMATH DE number 869737 (Why is no real title available?)
- scientific article; zbMATH DE number 961607 (Why is no real title available?)
- Improved backward error bounds for LU and Cholesky factorizations
- Interval method for bounding level sets: Revisited and tested with global optimization problems
- INTLAB implementation of an interval global optimization algorithm
- Lectures on modern convex optimization. Analysis, algorithms, and engineering applications
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- On proving existence of feasible points in equality constrained optimization problems
- On verified numerical computations in convex programming
- Private Observation, Communication and Collusion
- PROFIL/BIAS - A fast interval library
- Rigorous and portable standard functions
- Second-order sufficient optimality conditions for local and global nonlinear programming
- Source Transformation for MATLAB Automatic Differentiation
- The GLOBAL optimization method revisited
- The impact of accelerating tools on the interval subdivision algorithm for global optimization
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(8)- Precise optimization using range arithmetic
- Verification of constrained minima
- Optimization modulo the theory of floating-point numbers
- Verification methods: rigorous results using floating-point arithmetic
- scientific article; zbMATH DE number 815479 (Why is no real title available?)
- scientific article; zbMATH DE number 869737 (Why is no real title available?)
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
- The second Dirichlet eigenvalue is simple on every non-equilateral triangle. I: Nearly degenerate triangles
Describes a project that uses
Uses Software
This page was built for publication: Mathematically rigorous global optimization in floating-point arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4685569)
