Linear and parabolic relaxations for quadratic constraints - Domes, Ferenc; Neumaier, Arnold (Journal of global optimization, 2016)
Keywords: Algorithms; Boxes; Cholesky factorization; Computer Science; Factorization; Filtering; Filtration; Floating point arithmetic; Interval arithmetic; Mathematical analysis; Mathematical models; Mathematics; Mathematics and Statistics; Operations Research/Decision Theory; Optimization; Propagation; Quadratic programming; Real Functions; Studies; 90C26 nonconvex programming, global optimization; Ellipsoid relaxations; Interval hull; 90C20 quadratic programming; 65F30 other matrix algorithms; Rounding error control; Constraint satisfaction problems; Verified computing; Linear relaxations; 65G20 algorithms with automatic result verification; Non-convex constraints; Interval analysis; Directed modified Cholesky factorization; Parabolic relaxations; Quadratic constraints