swMATH4004MaRDI QIDQ16194FDOQ16194
Author name not available (Why is that?)
Official website: http://www.ti3.tu-harburg.de/rump/intlab/
Cited In (only showing first 100 items - show all)
- Convergent upper bounds in global minimization with nonlinear equality constraints
- Exclusion regions for optimization problems
- Verified bounds for least squares problems and underdetermined linear systems
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- Fast inclusion of interval matrix multiplication
- A branch and bound algorithm for quantified quadratic programming
- Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- An approach to the numerical verification of solutions for obstacle problems
- Projector based integration of DAEs with the Taylor series method using automatic differentiation
- A robustification approach in unconstrained quadratic optimization
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles
- An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions
- Seven mutually touching infinite cylinders
- The Adaptive Convexification Algorithm: A Feasible Point Method for Semi-Infinite Programming
- A study of the apsidal angle and a proof of monotonicity in the logarithmic potential case
- The monotonicity of the apsidal angle in power-law potential systems
- Error Estimation for Nonlinear Complementarity Problems via Linear Systems with Interval Data
- Detecting structures in differential algebraic equations: computational aspects
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- An adaptive Newton continuation strategy for the fully implicit finite element immersed boundary method
- Real Root Isolation of Polynomial Equations Based on Hybrid Computation
- Extensions of Kantorovich theorem to complementarity problem
- Fast interval matrix multiplication
- Rigorous filtering using linear relaxations
- Higher-order discrete maximum principle for 1D diffusion-reaction problems
- How do you compute the midpoint of an interval?
- Self-validating methods
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
- Krylov subspace methods in finite precision: A unified approach
- Computer-assisted proofs for semilinear elliptic boundary value problems
- A sharp error bound of the approximate solutions for saddle point linear systems
- Numerical inclusion methods of solutions for variational inequalities
- Interval Ostrowski-type methods with guaranteed convergence
- The multivariate bisection algorithm
- Enclosing clusters of zeros of polynomials
- Determination of inner and outer bounds of reachable sets through subpavings
- Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation
- Fast enclosure for a matrix inverse square root
- IGAOR and multisplitting IGAOR methods for linear complementarity problems
- On the possibilistic approach to linear regression models involving uncertain, indeterminate or interval data
- Eigenvalues, pseudospectrum and structured perturbations
- Verification for existence of solutions of linear complementarity problems
- Outer interval solution of the eigenvalue problem under general form parametric dependencies
- Fast verified solutions of linear systems
- Computation of bounds for eigenvalues of structures with interval parameters
- Fast enclosure for solutions in underdetermined systems
- Validation and enclosure of solutions of linear complementarity problems
- Bounding the zeros of an interval equation
- Error bounds for nonlinear complementarity problems with band structure
- Bounds on the worst optimal value in interval linear programming
- Exclusion and inclusion regions for the eigenvalues of a normal matrix
- Grand challenges and scientific standards in interval analysis
- Error bounds for complementarity problems with tridiagonal nonlinear functions
- Title not available (Why is that?)
- Newton type interval methods for solving nonlinear scalar equations
- Computer-assisted equilibrium validation for the diblock copolymer model
- A blind digital image watermarking method based on the dyadic wavelet transform and interval arithmetic
- Verifying global start-up for a Möbius ring-oscillator
- A numerical verification method for a periodic solution of a delay differential equation
- Solving fuzzy complex system of linear equations
- Application of the Discrete Empirical Interpolation Method to Reduced Order Modeling of Nonlinear and Parametric Systems
- On the existence and stabilization of an upper unstable limit cycle of the damped forced pendulum
- Monotonically convergent iterative learning control for linear discrete-time systems
- Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations
- Improved componentwise verified error bounds for least squares problems and underdetermined linear systems
- A note on the prior parameter choice in finite mixture models of distributions from exponential families
- The adaptive convexification algorithm for semi-infinite programming with arbitrary index sets
- Logcf: an efficient tool for real root isolation
- Local adaption for approximation and minimization of univariate functions
- On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros
- ACETAF
- ACRITH-XSC
- MXYZPTLK
- CADNA
- CoStLy
- C-XSC
- C-XSC 2.0
- FORTRAN-SC
- HOM4PS
- INTBIS
- INTLIB
- intpakX
- JNF
- ACETAF
- MPFI
- PADRE2
- PROFIL/BIAS
- Projective Noether
- UniCalc
- GLOPTLAB
- DPCM
- SOCP
- SLEIGN
- MPFR
- b4m
- GENDA
- VSDP
- RealPaver
- CTDSX
This page was built for software: INTLAB
