Mathematically rigorous global optimization in floating-point arithmetic (Q4685569)
From MaRDI portal
scientific article; zbMATH DE number 6949108
Language | Label | Description | Also known as |
---|---|---|---|
English | Mathematically rigorous global optimization in floating-point arithmetic |
scientific article; zbMATH DE number 6949108 |
Statements
Mathematically rigorous global optimization in floating-point arithmetic (English)
0 references
9 October 2018
0 references
algorithmic differentiation
0 references
global optimization
0 references
constrained optimization
0 references
rigorous error bounds
0 references
verification methods
0 references
0 references
0 references
0 references
0 references
0 references