scientific article; zbMATH DE number 869737
From MaRDI portal
Publication:4874513
zbMATH Open0841.65049MaRDI QIDQ4874513FDOQ4874513
Authors: Ralph Baker Kearfott 
Publication date: 1 July 1996
Title of this publication is not available (Why is that?)
Recommendations
- Verification of constrained minima
- Mathematically rigorous global optimization in floating-point arithmetic
- Complete search in continuous global optimization and constraint satisfaction
- A validation and verification tool for global optimization solvers
- Constraint aggregation for rigorous global optimization
Numerical mathematical programming methods (65K05) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Nonlinear programming (90C30) Research exposition (monographs, survey articles) pertaining to operations research and mathematical programming (90-02) Interval and finite arithmetic (65G30)
Cited In (21)
- Exclusion regions for optimization problems
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems
- Numerical solution for bounding feasible point sets
- Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization
- A fast memoryless interval-based algorithm for global optimization
- Title not available (Why is that?)
- Complete search in continuous global optimization and constraint satisfaction
- How to guarantee finite termination of verifying global optimization codes
- Interval analysis: Theory and applications
- Mathematically rigorous global optimization in floating-point arithmetic
- Theoretical convergence analysis of a general division-deletion algorithm for solving global search problems
- Comparison of Simulated Annealing, Interval Partitioning and Hybrid Algorithms in Constrained Global Optimization
- Reliable optimization techniques and their application
- Interval branch and bound with local sampling for constrained global optimization
- On proving existence of feasible points in equality constrained optimization problems
- Rigorous verification of feasibility
- A gentle introduction to Numerica
- Credal networks
- Some feasibility sampling procedures in interval methods for constrained global optimization
- Verified reductions for optimization
- A validation and verification tool for global optimization solvers
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4874513)
