INTLAB

swMATH4004MaRDI QIDQ16194FDOQ16194

Author name not available (Why is that?)

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

• 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
• Local adaption for approximation and minimization of univariate functions
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• 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
• 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
• Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\)
• A posteriori error bounds for two point boundary value problems: a Green's function approach
• On the inclusion properties of interval multiplication: A diagrammatic study
• Linear systems with large uncertainties, with applications to truss structures
• Robust stability test of a class of linear time-invariant interval fractional-order system using Lyapunov inequality
• A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Computational error bounds for multiple or nearly multiple eigenvalues
• Accurate Sum and Dot Product
• Results concerning interval linear systems with multiple right-hand sides and the interval matrix equation \(AX=B\)
• Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
• ACETAF
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
• Ten methods to bound multiple roots of polynomials
• Fast and parallel interval arithmetic
• Computation of algebraic solutions to interval systems via systems of coordinates
• On the algebraic properties of stochastic arithmetic. Comparison to interval arithmetic
• Numerical Software with Result Verification
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• On the efficient Gerschgorin inclusion usage in the global optimization \(\alpha\)BB method
• FloatX
• Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
• On eigenvector bounds
• Fast algorithms for floating-point interval matrix multiplication
• How to determine basis stability in interval linear programming
• Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements
• Well conditioned spherical designs for integration and interpolation on the two-sphere
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
• Interval King method to compute enclosure solutions of nonlinear equations
• A method to rigorously enclose eigenpairs of complex interval matrices.
• Enclosing solutions of singular interval systems iteratively
• Verification methods: rigorous results using floating-point arithmetic
• Introduction to Interval Analysis
• Numerical verification of solutions for Signorini problems using Newton-like method
• Eigenvalue range determination for interval and parametric matrices
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
• Stationary coexistence of hexagons and rolls via rigorous computations
• The interval Lyapunov matrix equation: analytical results and an efficient numerical technique for outer estimation of the united solution set
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Complex inclusion functions in the CoStLy C++ class library
• On the computation of output bounds on parallel inputs pharmacokinetic models with parametric uncertainty
• Iterative learning control. Robustness and monotonic convergence for interval systems.
• Blending set and interval arithmetic for maximal reliability
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
• Generalized solution sets of the interval generalized Sylvester matrix equation \(\sum_{i=1}^p\mathbf A_iX_i+\sum_{j=1}^qY_j\mathbf B_j=\mathbf C\) and some approaches for inner and outer estimations
• Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
• A general reliable quadratic form: An extension of affine arithmetic
• Domain decomposition and balanced truncation model reduction for shape optimization of the Stokes system
• Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
• Fast inclusion of interval matrix multiplication
• Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces
• A contribution to the feasibility of the interval Gaussian algorithm
• Hölder regularity of geometric subdivision schemes
• 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
• Interval arithmetic over finitely many endpoints
• Projector based integration of DAEs with the Taylor series method using automatic differentiation
• A robustification approach in unconstrained quadratic optimization
• A numerical verification method for solutions of singularly perturbed problems with nonlinearity
• Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations

This page was built for software: INTLAB