The following pages link to (Q3583363):
Displaying 45 items.
- Linear and parabolic relaxations for quadratic constraints (Q300753) (← links)
- Maximum consistency method for data fitting under interval uncertainty (Q330508) (← links)
- Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations (Q344315) (← links)
- A class of problems that can be solved using interval algorithms (Q411419) (← links)
- Subdivision strategies for boxes in branch-and-bound nonlinear solvers and verification (Q475422) (← links)
- Interval-based projection method for under-constrained numerical systems (Q487645) (← links)
- Reverse propagation of McCormick relaxations (Q496587) (← links)
- Computational existence proofs for spherical \(t\)-designs (Q623336) (← links)
- Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation \(AX=B\) (Q631899) (← links)
- Verified error bounds for solutions of Sylvester matrix equations (Q651215) (← links)
- Solving a huff-like competitive location and design model for profit maximization in the plane (Q864047) (← links)
- Interval finite elements as a basis for generalized models of uncertainty in engineering mechanics (Q868686) (← links)
- Maximum compatibility method for data fitting under interval uncertainty (Q1647406) (← links)
- New characterizations for the solution set to interval linear systems of equations (Q1664245) (← links)
- Interval matrices: regularity generates singularity (Q1688911) (← links)
- The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set (Q1930971) (← links)
- Solving interval systems of equations obtained during the numerical solution of boundary value problems (Q2013629) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Solving interval linear least squares problems by PPS-methods (Q2021761) (← links)
- Interval processing of electrochemical data (Q2186916) (← links)
- Computing enclosures for the inverse square root and the sign function of a matrix (Q2249733) (← links)
- Solvability of interval linear equations and data analysis under uncertainty (Q2261714) (← links)
- Verified bounds for the determinant of real or complex point or interval matrices (Q2297164) (← links)
- An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator (Q2312674) (← links)
- Interval unions (Q2359762) (← links)
- A branch and bound algorithm for quantified quadratic programming (Q2397427) (← links)
- Characterization of AE solution sets of parametric linear systems based on the techniques of convex sets (Q2404986) (← links)
- Using interval unions to solve linear systems of equations with uncertainties (Q2411656) (← links)
- The 1-center problem in the plane with independent random weights (Q2456633) (← links)
- Interval-affine Gaussian algorthm for constrained systems (Q2568638) (← links)
- An interval global optimization algorithm combining symbolic rewriting and componentwise Newton method applied to control a class of queueing systems (Q2568646) (← links)
- On unbounded tolerable solution sets (Q2568649) (← links)
- Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem (Q2660610) (← links)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- A NOTE ON DEFINITIONS OF THE RANK FOR INTERVAL MATRICES (Q5204788) (← links)
- Weak and Strong Compatibility in Data Fitting Problems Under Interval Uncertainty (Q5858141) (← links)
- Model predictive control of dynamic systems with mixed uncertainty and its application to supply chain management (Q5883646) (← links)
- Constraint aggregation for rigorous global optimization (Q5962722) (← links)
- On solvability recognition for interval linear systems of equations (Q5963230) (← links)
- (Q6091763) (← links)
- A survey of interval algorithms for solving multicriteria analysis problems (Q6135498) (← links)
- Algorithmic differentiation and hull-consistency enforcing using C++ template meta-programming (Q6141530) (← links)
- A Huff-like location model with quality adjustment and/or closing of existing facilities (Q6555174) (← links)
- The use of twins in isotopic analysis (Q6616735) (← links)
- Verified error bounds for matrix decompositions (Q6641767) (← links)
