Cited in
(only showing first 100 items - show all)- The dimension spectrum of conformal graph directed Markov systems
- THE NEWTON’S METHOD INTERVAL SINGLE-STEP PROCEDURE FOR BOUNDING POLYNOMIAL ZEROS SIMULTANEOUSLY
- A comparison of some methods for bounding connected and disconnected solution sets of interval linear systems
- Verified error bounds for isolated singular solutions of polynomial systems
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Convergent upper bounds in global minimization with nonlinear equality constraints
- A proof via finite elements for Schiffer's conjecture on a regular pentagon
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- Exclusion regions for optimization problems
- An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations
- Logcf: an efficient tool for real root isolation
- Enclosures for the solution set of parametric interval linear systems
- Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix
- Verified bounds for least squares problems and underdetermined linear systems
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Spontaneous periodic orbits in the Navier-Stokes flow
- Interval arithmetic error estimation for the solution of Fredholm integral equation
- Blow-up profile for solutions of a fourth order nonlinear equation
- Fast enclosure for all eigenvalues in generalized eigenvalue problems
- Fast inclusion of interval matrix multiplication
- A branch and bound algorithm for quantified quadratic programming
- INTLAB implementation of an interval global optimization algorithm
- Simulating Low Precision Floating-Point Arithmetic
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- Satisfaction of modeling requirements for intelligent navigation systems: risk management context
- Precise numerical computation
- Enclosing Moore-Penrose inverses
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Computing enclosures for the matrix Mittag-Leffler function
- Verified error bounds for real eigenvalues of real symmetric and persymmetric matrices
- Local adaption for approximation and minimization of univariate functions
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
- A contribution to the feasibility of the interval Gaussian algorithm
- Computing the spectral decomposition of interval matrices and a study on interval matrix powers
- A 3D Smale horseshoe in a hyperchaotic discrete-time system
- Verified error bounds for multiple roots of systems of nonlinear equations
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
- Hölder regularity of geometric subdivision schemes
- Optimal estimation for the Fujino-Morley interpolation error constants
- Computing enclosures for the inverse square root and the sign function of a matrix
- Useful computations need useful numbers
- Numerical Study of Algebraic Problems Using Stochastic Arithmetic
- Numerical verification of positiveness for solutions to semilinear elliptic problems
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- A hybrid procedure for finding real points on a real algebraic set
- A verified realization of a Dempster-Shafer based fault tree analysis
- On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
- Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations
- Three-dimensional element configurations for the discontinuous enrichment method for acoustics
- Solvers for the verified solution of parametric linear systems
- Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
- Validated computations for connecting orbits in polynomial vector fields
- Computational fixed-point theory for differential delay equations with multiple time lags
- Sharpening the estimate of the stability constant in the maximum-norm of the Crank-Nicolson scheme for the one-dimensional heat equation
- Computing the Moore-Penrose inverse using its error bounds
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
- Interval arithmetic over finitely many endpoints
- Rigorous numerical inclusion of the blow-up time for the Fujita-type equation
- Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation
- Adaptive mesh refinement method for solving optimal control problems using interpolation error analysis and improved data compression
- On the construction of Lyapunov functions with computer assistance
- Numerical Methods and Optimization
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem
- Interval arithmetic for nonlinear problem solving
- scientific article; zbMATH DE number 7373353 (Why is no real title available?)
- An approach to the numerical verification of solutions for obstacle problems
- A robustification approach in unconstrained quadratic optimization
- Global dynamics in nonconservative nonlinear Schrödinger equations
- A rigorous global optimization algorithm for problems with ordinary differential equations
- Horseshoes in the forced van der Pol system
- Projector based integration of DAEs with the Taylor series method using automatic differentiation
- On the convergence rate of symmetric single-step method ISS for simultaneous bounding polynomial zeros
- Interval iterative methods for computing Moore-Penrose inverse
- Verified error bounds for solutions of Sylvester matrix equations
- Weak and strong solvability of interval linear systems of equations and inequalities
- A numerical verification method for solutions of singularly perturbed problems with nonlinearity
- Rigorous continuation of periodic solutions for impulsive delay differential equations
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Verified solutions of delay eigenvalue problems
- Solving over-constrained systems of non-linear interval equations -- and its robotic application
- A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations
- Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations
- On the interval zoro symmetric single-step procedure for simultaneous finding of polynomial zeros
- 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
- Verified bounds for the determinant of real or complex point or interval matrices
- An integrative approach for analysis of nonlinear electrical circuits using-polynomial B-spline expansion and B-spline Krawczyk operator
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rigorous Validation of Isolating Blocks for Flows and Their Conley Indices
- Maximum electromagnetic drag configurations for a translating conducting cylinder with distant magnetic dipoles
- scientific article; zbMATH DE number 1424515 (Why is no real title available?)
- Numerical verification methods for spherical t-designs
- On verified numerical computations in convex programming
- On the modification of the p-RF method for inclusion of a zero of a function
This page was built for software: INTLAB
