Pages that link to "Item:Q2890535"
From MaRDI portal
The following pages link to Verification methods: Rigorous results using floating-point arithmetic (Q2890535):
Displayed 50 items.
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid (Q268320) (← links)
- Parametric AE-solution sets to the parametric linear systems with multiple right-hand sides and parametric matrix equation \(A(p)X=B(p)\) (Q312196) (← links)
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations (Q344315) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Solvers for the verified solution of parametric linear systems (Q411424) (← links)
- High-precision computation: mathematical physics and dynamics (Q449457) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- A heuristic verification of the degree of the approximate GCD of two univariate polynomials (Q466858) (← links)
- AE solutions and AE solvability to general interval linear systems (Q471937) (← links)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse (Q634116) (← links)
- Characterizing and approximating eigenvalue sets of symmetric interval matrices (Q662236) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- Verified error bounds for eigenvalues of geometric multiplicity \(q\) and corresponding invariant subspaces (Q684197) (← links)
- Interval arithmetic over finitely many endpoints (Q695060) (← links)
- An interval extension of SMS method for computing weighted Moore-Penrose inverse (Q723553) (← links)
- Verified error bounds for singular solutions of nonlinear systems (Q747729) (← links)
- Computing enclosures for the matrix Mittag-Leffler function (Q831239) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Solving equations and optimization problems with uncertainty (Q1616393) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Enclosing the solution set of parametric interval matrix equation \(A(p)X = B(p)\) (Q1646665) (← links)
- Beyond the Melnikov method. II: Multidimensional setting (Q1671213) (← links)
- Fast verified computation for the matrix principal \(p\)th root (Q1675959) (← links)
- A new method for computing a \(p\)-solution to parametric interval linear systems with affine-linear and nonlinear dependencies (Q1689318) (← links)
- Efficient approaches for enclosing the united solution set of the interval generalized Sylvester matrix equations (Q1690908) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Formally verified approximations of definite integrals (Q1722649) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- Verified solutions of delay eigenvalue problems (Q1735394) (← links)
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis (Q1736471) (← links)
- Unification and extension of intersection algorithms in numerical algebraic geometry (Q1737155) (← links)
- Accurate quotient-difference algorithm: error analysis, improvements and applications (Q1738119) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Centered solutions for uncertain linear equations (Q1789636) (← links)
- On the algebraic solution of fuzzy linear systems based on interval theory (Q1930742) (← links)
- Estimation of two error components in the numerical solution to the problem of nonisothermal flow of polymer fluid between two coaxial cylinders (Q1991642) (← links)
- Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation (Q1993448) (← links)
- Formal proofs of rounding error bounds. With application to an automatic positive definiteness check (Q2013318) (← links)
- Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves (Q2029428) (← links)
- Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors (Q2074874) (← links)
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications (Q2088756) (← links)
