scientific article
From MaRDI portal
Publication:3583363
zbMath1196.65088MaRDI QIDQ3583363
Sergey P. Shary, Arnold Neumaier, Pascal Van Hentenryck, Mitsuhiro T. Nakao, Ralph Baker Kearfott, Siegfried Michael Rump
Publication date: 27 August 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Interval unions, Model predictive control of dynamic systems with mixed uncertainty and its application to supply chain management, Linear and parabolic relaxations for quadratic constraints, Maximum compatibility method for data fitting under interval uncertainty, Maximum consistency method for data fitting under interval uncertainty, Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations, Solving a huff-like competitive location and design model for profit maximization in the plane, A branch and bound algorithm for quantified quadratic programming, Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics, New characterizations for the solution set to interval linear systems of equations, Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem, Characterization of AE solution sets of parametric linear systems based on the techniques of convex sets, Using interval unions to solve linear systems of equations with uncertainties, The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set, Interval processing of electrochemical data, Interval matrices: regularity generates singularity, Computational existence proofs for spherical \(t\)-designs, A class of problems that can be solved using interval algorithms, A survey of interval algorithms for solving multicriteria analysis problems, Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming, Robot workspace approximation with modified bicentered Krawczyk method, Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation \(AX=B\), Unnamed Item, Verified error bounds for solutions of Sylvester matrix equations, Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification, The 1-center problem in the plane with independent random weights, Interval-based projection method for under-constrained numerical systems, Reverse propagation of McCormick relaxations, Computing enclosures for the inverse square root and the sign function of a matrix, Solvability of interval linear equations and data analysis under uncertainty, Solving interval systems of equations obtained during the numerical solution of boundary value problems, Rigorous verification of feasibility, Solving interval linear least squares problems by PPS-methods, Constraint aggregation for rigorous global optimization, On solvability recognition for interval linear systems of equations, A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES, Enclosing Chebyshev Expansions in Linear Time, Verified bounds for the determinant of real or complex point or interval matrices, An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator, Interval-affine Gaussian algorthm for constrained systems, An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems, On unbounded tolerable solution sets, Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty
