| Publication | Date of Publication | Type |
|---|
| A note on Oishi’s lower bound for the smallest singular value of linearized Galerkin equations | 2024-05-07 | Paper |
| Lower bounds for the smallest singular values of generalized asymptotic diagonal dominant matrices | 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 of Lane–Emden’s Equation with Sub-Square Exponents | 2022-05-11 | Paper |
| Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains | 2022-02-16 | Paper |
| Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems | 2022-02-04 | Paper |
| Error constants for the semi-discrete Galerkin approximation of the linear heat equation | 2021-10-12 | Paper |
| Numerical verification for asymmetric solutions of the Hénon equation on bounded domains | 2021-09-01 | Paper |
| A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems | 2021-08-05 | Paper |
| Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations | 2021-08-04 | Paper |
| A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator | 2021-01-11 | Paper |
| A note on Dekker's FastTwoSum algorithm | 2020-07-07 | Paper |
| Numerical inclusion of exact periodic solutions for time delay Duffing equation | 2020-02-18 | Paper |
| Modified error bounds for approximate solutions of dense linear systems | 2020-02-05 | Paper |
| Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems | 2019-10-04 | Paper |
| Numerical verification of positiveness for solutions to semilinear elliptic problems | 2019-03-18 | Paper |
| Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains | 2017-12-11 | Paper |
| A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems | 2017-10-10 | Paper |
| A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory | 2017-05-24 | Paper |
| Error‐free transformation of matrix multiplication with a posteriori validation | 2017-01-13 | Paper |
| Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain | 2016-12-28 | Paper |
| Numerical verification for existence of a global-in-time solution to semilinear parabolic equations | 2016-12-22 | Paper |
| Numerical validation of blow-up solutions of ordinary differential equations | 2016-12-02 | Paper |
| Accurate method of verified computing for solutions of semilinear heat equations | 2016-11-30 | Paper |
| Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors | 2016-10-24 | Paper |
| Interval arithmetic and its implementations | 2016-09-07 | Paper |
| Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents | 2016-07-15 | Paper |
| Numerical verification method for positiveness of solutions to elliptic equations | 2016-06-13 | Paper |
| Simple floating-point filters for the two-dimensional orientation problem | 2016-06-10 | Paper |
| Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator | 2016-05-25 | Paper |
| Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval | 2016-05-25 | Paper |
| Verified Computations for Hyperbolic 3-Manifolds | 2016-04-19 | Paper |
| Bilinearization of the Painlevé equations | 2016-04-19 | Paper |
| Relationship between Hirota's method and the inverse spectral method -- the Korteweg-de Vries equation's case | 2016-04-19 | Paper |
| A method of constructing generalized soliton solutions for certain bilinear soliton equations | 2016-04-19 | Paper |
| The Korteweg-de Vries equation under slowly decreasing boundary condition | 2016-04-19 | Paper |
| High-Precision Eigenvalue Bound for the Laplacian with Singularities | 2016-04-12 | Paper |
| Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator | 2015-12-09 | Paper |
| Improvement of error-free splitting for accurate matrix multiplication | 2015-06-22 | Paper |
| Convergence analysis of an algorithm for accurate inverse Cholesky factorization | 2015-02-25 | Paper |
| Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation | 2015-02-25 | Paper |
| Guaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elements | 2014-06-02 | Paper |
| Numerical inclusion of optimum point for linear programming | 2013-11-19 | Paper |
| Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape | 2013-09-02 | Paper |
| Tight Enclosures of Solutions of Linear Systems | 2013-06-13 | Paper |
| A robust algorithm for geometric predicate by error-free determinant transformation | 2012-10-11 | Paper |
| Tight and efficient enclosure of matrix multiplication by using optimized BLAS. | 2012-06-07 | Paper |
| Fast algorithms for floating-point interval matrix multiplication | 2012-04-24 | Paper |
| Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications | 2012-02-13 | Paper |
| Estimate of the Hausdorff Dimension of a Self-Similar Set due to Weak Contractions | 2011-08-01 | Paper |
| An algorithm for automatically selecting a suitable verification method for linear systems | 2011-03-31 | Paper |
| Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest | 2010-05-06 | Paper |
| Accurate Floating-Point Summation Part I: Faithful Rounding | 2010-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5188261 | 2010-03-10 | Paper |
| Fast verified solutions of linear systems | 2010-02-25 | Paper |
| Adaptive and efficient algorithm for 2D orientation problem | 2010-02-25 | Paper |
| Numerical existence proof of five solutions for certain two-transistor circuit equations | 2010-02-25 | Paper |
| Iterative refinement for ill-conditioned linear systems | 2010-02-25 | Paper |
| Discretization Principles for Linear Two-Point Boundary Value Problems, III | 2009-01-07 | Paper |
| Discretization Principles for Linear Two-Point Boundary Value Problems, II | 2008-03-20 | Paper |
| Numerical Software with Result Verification | 2007-09-28 | Paper |
| Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices | 2007-07-17 | Paper |
| On three theorems of Lees for numerical treatment of semilinear two-point boundary value problems | 2007-02-05 | Paper |
| A method of obtaining verified solutions for linear systems suited for Java | 2007-02-02 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| A mathematical theory for numerical treatment of nonlinear two-point boundary value problems | 2006-06-19 | Paper |
| Accurate Sum and Dot Product | 2005-09-22 | Paper |
| Numerical verification of solutions of periodic integral equations with a singular kernel | 2005-09-05 | Paper |
| Numerical verification of solutions of Nekrasov's integral equation | 2005-08-18 | Paper |
| Fast inclusion of interval matrix multiplication | 2005-08-02 | Paper |
| On necessary and sufficient conditions for numerical verification of double turning points | 2004-12-13 | Paper |
| Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations | 2003-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438141 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765620 | 2002-09-29 | Paper |
| Fast verification of solutions of matrix equations | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329947 | 2002-05-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329960 | 2002-05-15 | Paper |
| Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation | 2002-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520741 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520738 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935114 | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705631 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705633 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705635 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703996 | 1999-12-01 | Paper |
| Stability of Synchronized States in One Dimensional Networks of Second Order PLLS | 1998-03-03 | Paper |
| Self-synchronization of coupled oscillators with hysteretic responses | 1997-01-29 | Paper |
| Numerical verification of existence and inclusion of solutions for nonlinear operator equations | 1995-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3324355 | 1982-01-01 | Paper |
