INTLAB

swMATH4004MaRDI QIDQ16194FDOQ16194

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
• Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
• Numerical Study of Algebraic Problems Using Stochastic Arithmetic
• Numerical verification of positiveness for solutions to semilinear elliptic problems
• Feasible Method for Semi-Infinite Programs
• Validated computations for connecting orbits in polynomial vector fields
• Interval tensors and their application in solving multi-linear systems of equations
• Homoclinic dynamics in a restricted four-body problem: transverse connections for the saddle-focus equilibrium solution set
• Constructive error analysis of a full-discrete finite element method for the heat equation
• Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations
• Error‐free transformation of matrix multiplication with a posteriori validation
• Advanced Arithmetic for the Digital Computer
• Interval unions
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Solving interval linear programming problems with equality constraints using extended interval enclosure solutions
• A certificate-based approach to formally verified approximations
• Equilibrium validation in models for pattern formation based on Sobolev embeddings
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
• A numerical verification of solutions of free boundary problems
• Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements
• Nonconvex constrained optimization by a filtering branch and bound
• Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors
• Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
• An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space
• Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
• Result verification for the real quadratic eigenvalue problem
• Approximate localised dihedral patterns near a turing instability
• Clothoid fitting and geometric Hermite subdivision
• An interval branch and bound method for global robust optimization
• Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms
• Accurate solution of dense linear systems. II: Algorithms using directed rounding
• Exclusion regions for parameter-dependent systems of equations
• An estimation of algebraic solution for a complex interval linear system
• A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
• Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Bounding the error for approximate solutions of almost linear complementarity problems using feasible vectors
• A branch and prune algorithm for the computation of generalized aspects of parallel robots
• An algorithm for bounded-error identification of nonlinear systems based on DC functions
• Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
• Combinatorial vs. classical dynamics: recurrence
• Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
• Some improvements of invertibility verifications for second-order linear elliptic operators
• Analysis and design of robust controllers using the interval Diophantine equation
• Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
• A Branch--and--Bound-Based Algorithm for Nonconvex Multiobjective Optimization
• A posteriori verification of the positivity of solutions to elliptic boundary value problems
• Global dynamic optimization using edge-concave underestimator
• A functional analytic approach to validated numerics for eigenvalues of delay equations
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
• Numerical verification method for positive solutions of elliptic problems
• Interval computing periodic orbits of maps using a piecewise approach
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Title not available (Why is that?)
• Logcf: an efficient tool for real root isolation
• Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
• Enclosures for the solution set of parametric interval linear systems
• Spontaneous periodic orbits in the Navier-Stokes flow
• INTLAB implementation of an interval global optimization algorithm
• A method to rigorously enclose eigendecompositions of interval matrices
• Local adaption for approximation and minimization of univariate functions
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates
• On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic
• Optimal estimation for the Fujino-Morley interpolation error constants
• Computational fixed-point theory for differential delay equations with multiple time lags
• Horseshoes in the forced van der Pol system
• On the construction of Lyapunov functions with computer assistance
• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
• Interval arithmetic for nonlinear problem solving
• Verified error bounds for solutions of Sylvester matrix equations
• On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros
• Weak and strong solvability of interval linear systems of equations and inequalities
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• A modification of the \(\alpha \mathrm{BB}\) method for box-constrained optimization and an application to inverse kinematics
• Constrained global optimization of multivariate polynomials using Bernstein branch and prune algorithm
• Super-fast validated solution of linear systems
• Title not available (Why is that?)
• Interval extension of the three-step Kung and Traub's method
• Exclusion Regions for Systems of Equations
• Parameterized solution of linear interval parametric systems
• Multi-step root solvers of Traub's type in real interval arithmetic
• The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
• Inversion of extremely ill-conditioned matrices in floating-point
• Rigorous numerics for the Cahn-Hilliard equation on the unit square
• Vom Lösen numerischer Probleme
• Central configurations of the five-body problem with equal masses
• Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems
• Rigorous verification of saddle-node bifurcations in ODEs
• Numerical Software with Result Verification
• Domain decomposition and model reduction for the numerical solution of PDE constrained optimization problems with localized optimization variables
• Computational existence proofs for spherical \(t\)-designs
• Automatic differentiation for Fourier series and the radii polynomial approach
• Rigorous numerics for nonlinear heat equations in the complex plane of time
• Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
• Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
• Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\)

This page was built for software: INTLAB