A general reliable quadratic form: An extension of affine arithmetic

DOI10.1007/S11155-006-7217-4MaRDI QIDQ2494411zbMATH OpenOpenAlexFDO

Authors Frédéric Messine, Ahmed Touhami

Publication date 26 June 2006

Published in Reliable Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11155-006-7217-4

zbMATH Keywords

affine formbranch-and-bound algorithmgeneral quadratic formgeneralized interval arithmeticglobal optimizationinclusion functioninterval analysis

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Numerical mathematical programming methods (65K05) Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57)

Recommendations

• Extensions of affine arithmetic: application to unconstrained global optimization
• Global optimization with higher order inclusion function forms. I: A combined Taylor-Bernstein form
• scientific article; zbMATH DE number 4197279
• scientific article; zbMATH DE number 440791
• A lower bound for range enclosure in interval arithmetic

Cites work

• Affine arithmetic: concepts and applications
• Extensions of affine arithmetic: application to unconstrained global optimization
• scientific article; zbMATH DE number 193463 (Why is no real title available?)
• scientific article; zbMATH DE number 3473200 (Why is no real title available?)
• scientific article; zbMATH DE number 1543292 (Why is no real title available?)
• scientific article; zbMATH DE number 1408651 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)

Cited in

(11)

• Estimating the level of affinity of a quadratic form
• The small octagons of maximal width
• On new methods to construct lower bounds in simplicial branch and bound based on interval arithmetic
• Numerical certification of Pareto optimality for biobjective nonlinear problems
• Algorithm for min-range multiplication of affine forms
• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
• Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics
• A reliable affine relaxation method for global optimization
• Extensions of affine arithmetic: application to unconstrained global optimization
• Hybridizing two linear relaxation techniques in interval-based solvers
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: A general reliable quadratic form: An extension of affine arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2494411)