Search results
From MaRDI portal
- 2023-10-13 Paper Rigorous numerical inclusion of the blow-up time for the Fujita-type equation 2023-01-17 Paper Rigorous Numerical Enclosures for Positive Solutions...10 bytes (16 words) - 12:59, 8 December 2023
- nonsymmetric T-Riccati equation 2022-08-10 Paper Verified computation of matrix gamma function 2022-05-05 Paper Fast verified computation for positive solutions to...10 bytes (16 words) - 05:48, 7 October 2023
- Publication Date of Publication Type Error bounds and enclosures: The development of numerical analysis and the impact of the contributions by Lothar Collatz...10 bytes (17 words) - 13:00, 8 December 2023
- Pseudospectrum enclosures by discretization 2021-05-06 Paper Krylov type methods for linear systems exploiting properties of the quadratic numerical range 2021-02-17...10 bytes (17 words) - 04:40, 9 December 2023
- 2015-01-14 Paper Computing enclosures for the inverse square root and the sign function of a matrix 2014-07-03 Paper Verified stability analysis using the...10 bytes (16 words) - 16:25, 6 October 2023
- 2009-01-22 Paper Verified computed Peano constants and applications in numerical quadrature 2007-07-19 Paper Computing interval enclosures for definite integrals...10 bytes (18 words) - 11:57, 7 October 2023
- Type Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents 2022-05-11 Paper A numerical proof algorithm...10 bytes (16 words) - 02:16, 25 September 2023
- Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations 2009-01-13 Paper Numerical Software with Result Verification 2007-09-28 Paper...10 bytes (16 words) - 17:09, 6 October 2023
- with intervals: foundations, tools, applications 2015-11-09 Paper Outer enclosures to the parametric \(AE\) solution set 2015-11-09 Paper Solvability of...10 bytes (18 words) - 19:13, 8 December 2023
- domains 2021-09-01 Paper Numerical verification method for positive solutions of elliptic problems 2020-02-18 Paper Numerical verification of positiveness for...10 bytes (16 words) - 07:33, 7 October 2023
- 2002-02-05 Paper Verified numerical computations for an inverse elliptic eigenvalue problem with finite data 2001-12-09 Paper Numerical verification method for...10 bytes (19 words) - 12:59, 8 December 2023
- to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness 2000-06-05 Paper A numerical method to verify the elliptic...10 bytes (16 words) - 12:59, 8 December 2023
- convection in an enclosure: Verification of the nonlinear algorithm 1985-01-01 Paper Finite Difference Solutions for Internal Waves in Enclosures 1984-01-01...10 bytes (18 words) - 09:52, 13 December 2023
- 2022-10-06 Paper Numerical Verification of Solutions for Nonlinear Parabolic Problems 2020-09-07 Paper Some improvements of invertibility verifications for second-order...10 bytes (16 words) - 20:25, 11 December 2023
- arithmetic 2022-04-22 Paper Verified numerical computations for large-scale linear systems. 2021-04-13 Paper An a posteriori verification method for generalized...10 bytes (16 words) - 12:34, 7 October 2023
- ValEncIA-IVP 2009-01-13 Paper Verified Methods in Stochastic Traffic Modelling 2009-01-13 Paper Numerical Software with Result Verification 2007-09-28 Paper The...10 bytes (19 words) - 19:12, 8 December 2023
- Freezing of a porous medium in contact with a concentrated aqueous freezant: numerical modelling of coupled heat and mass transport 2001-01-01 Paper...10 bytes (16 words) - 20:24, 8 December 2023
- Publication Date of Publication Type Error bounds and enclosures: The development of numerical analysis and the impact of the contributions by Lothar Collatz...10 bytes (19 words) - 19:51, 8 December 2023
- method for the heat equation 2019-11-28 Paper A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems 2017-10-10...10 bytes (16 words) - 20:25, 11 December 2023
- algorithm for numerical simulations of incompressible fluid flow and heat transfer problems 2010-07-30 Paper Three dimensional numerical simulation and...10 bytes (17 words) - 11:53, 11 December 2023
