| Publication | Date of Publication | Type |
|---|
| On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators | 2023-09-26 | Paper |
| Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces | 2023-05-05 | Paper |
| Rigorous numerical inclusion of the blow-up time for the Fujita-type equation | 2023-01-17 | Paper |
| Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications | 2022-10-06 | Paper |
| Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation | 2022-08-03 | Paper |
| Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains | 2022-02-16 | Paper |
| Error constants for the semi-discrete Galerkin approximation of the linear heat equation | 2021-10-12 | 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 |
| Numerical verification of solutions for nonlinear parabolic problems | 2020-09-07 | Paper |
| Some improvements of invertibility verifications for second-order linear elliptic operators | 2020-04-27 | Paper |
| Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space | 2020-02-05 | Paper |
| Constructive error estimates for full discrete approximation of periodic solution for heat equation | 2020-01-31 | Paper |
| Constructive error analysis of a full-discrete finite element method for the heat equation | 2019-11-28 | Paper |
| An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space | 2019-08-15 | Paper |
| Numerical verification methods and computer-assisted proofs for partial differential equations | 2019-06-05 | Paper |
| An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces | 2019-03-26 | Paper |
| A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration | 2019-03-20 | Paper |
| On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations | 2019-03-18 | Paper |
| Numerical verification for solutions to partial differential equations | 2018-06-18 | Paper |
| Eigenvalue excluding for perturbed-periodic one-dimensional Schrödinger operators | 2017-06-07 | Paper |
| Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains | 2017-05-29 | Paper |
| \(H^3\) and \(H^4\) regularities of the Poisson equation on polygonal domains | 2016-05-25 | Paper |
| Some remarks on the rigorous estimation of inverse linear elliptic operators | 2016-05-02 | Paper |
| Norm bound computation for inverses of linear operators in Hilbert spaces | 2016-02-08 | Paper |
| Some considerations of the invertibility verifications for linear elliptic operators | 2015-06-30 | Paper |
| Numerical verifications for eigenvalues of second-order elliptic operators | 2015-03-03 | Paper |
| Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces | 2014-07-31 | Paper |
| On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems | 2014-06-12 | Paper |
| On very accurate verification of solutions for boundary value problems by using spectral methods | 2013-11-19 | Paper |
| Constructive a priori error estimates for a full discrete approximation of the heat equation | 2013-09-02 | Paper |
| A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations | 2013-07-23 | Paper |
| On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems | 2012-04-04 | Paper |
| A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations | 2012-02-19 | Paper |
| A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations | 2011-12-21 | Paper |
| Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems | 2011-01-16 | Paper |
| Erratum to: Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems | 2011-01-16 | Paper |
| A numerical verification method for a periodic solution of a delay differential equation | 2010-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747913 | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3583363 | 2010-08-27 | Paper |
| On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection | 2010-04-21 | Paper |
| Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem | 2010-02-25 | Paper |
| Some remarks on the behaviour of the finite element solution in nonsmooth domains | 2010-02-12 | Paper |
| On verified computations of the optimal constant in the a priori error estimates for \(H_{0}^{2}\)-projection | 2010-01-22 | Paper |
| On theL2a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator | 2009-05-29 | Paper |
| A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow | 2009-02-19 | Paper |
| A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems | 2009-02-09 | Paper |
| Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications | 2008-07-01 | Paper |
| Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains | 2008-04-03 | Paper |
| Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation | 2007-04-13 | Paper |
| Numerical verification of stationary solutions for Navier-Stokes problems | 2007-02-02 | Paper |
| Numerical Verification Methods for Solutions of the Free Boundary Problem | 2005-11-15 | Paper |
| An efficient approach to the numerical verification for solutions of elliptic differential equations | 2005-09-05 | Paper |
| A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems | 2005-08-18 | Paper |
| A numerical verification method for solutions of singularly perturbed problems with nonlinearity | 2005-04-29 | Paper |
| A numerical verification of nontrivial solutions for the heat convection problem | 2004-05-27 | Paper |
| Numerical verification of solutions for obstacle problems. | 2004-01-26 | Paper |
| Some computer assisted proofs for solutions of the heat convection problems | 2003-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551936 | 2003-04-27 | Paper |
| VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS | 2003-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765426 | 2002-08-19 | Paper |
| Numerical verification of solutions for variational inequalities of the second kind | 2002-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765619 | 2002-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4538044 | 2002-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329959 | 2002-05-15 | Paper |
| Numerical verification of solutions for elasto-plastic torsion problems | 2002-02-21 | Paper |
| NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS | 2002-02-05 | Paper |
| Verified numerical computations for an inverse elliptic eigenvalue problem with finite data | 2001-12-09 | Paper |
| Numerical verification method for solutions of the perturbed Gelfand equation | 2001-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949371 | 2001-11-01 | Paper |
| Numerical verification methods for solutions of ordinary and partial differential equations | 2001-09-23 | Paper |
| A numerical verification for stationary solutions of Rayleigh-Bénard convection | 2001-09-17 | Paper |
| Solutions with guaranteed accuracy for coupling-type eigenvalue problems related to noncommutative harmonic oscillators | 2001-09-17 | Paper |
| An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499752 | 2001-01-29 | Paper |
| An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness | 2000-06-05 | Paper |
| A numerical verification method of solutions for the Navier-Stokes equations | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4937937 | 2000-02-20 | Paper |
| A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations | 2000-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4935115 | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705507 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705632 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705634 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703995 | 1999-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225612 | 1999-07-06 | Paper |
| On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces | 1999-02-18 | Paper |
| Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations | 1998-06-08 | Paper |
| Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case | 1998-04-14 | Paper |
| Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method | 1998-02-09 | Paper |
| Numerical verification of solutions for variational inequalities | 1998-01-01 | Paper |
| Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points | 1997-12-03 | Paper |
| Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria | 1997-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4885378 | 1997-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4868550 | 1996-06-03 | Paper |
| Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element | 1996-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4860584 | 1996-02-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4847677 | 1996-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4851662 | 1995-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4284594 | 1994-12-11 | Paper |
| Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains | 1994-10-09 | Paper |
| On computational proofs of the existence of solutions to nonlinear parabolic problems | 1994-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4302480 | 1994-08-16 | Paper |
| Numerical verifications of solutions for nonlinear elliptic equations | 1994-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140971 | 1993-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035575 | 1993-05-18 | Paper |
| A numerical verification method for the existence of weak solutions for nonlinear boundary value problems | 1992-09-27 | Paper |
| Solving nonlinear parabolic problems with result verification. I: One- space dimensional case | 1992-06-28 | Paper |
| Numerical verifications of solutions for elliptic equations with strong nonlinearity | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3349281 | 1992-01-01 | Paper |
| A numerical approach to the proof of existence of solutions for elliptic problems II | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3201668 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480512 | 1989-01-01 | Paper |
| A numerical approach to the proof of existence of solutions for elliptic problems | 1988-01-01 | Paper |
| Superconvergence of the gradient of Galerkin approximations for elliptic problems | 1987-01-01 | Paper |
| Superconvergence of the gradient of Galerkin approximations for elliptic problems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3030158 | 1986-01-01 | Paper |
| Error estimates of a Galerkin method for some nonlinear Sobolev equations in one space dimension | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761633 | 1985-01-01 | Paper |
| L∞ ERROR ESTIMATES AND SUPERCONVERGENCE RESULTS FOR A COLLOCATION-H-1-GALERKIN METHOD FOR ELLIPTIC EQUATIONS | 1985-01-01 | Paper |
| A Collocation-H -1 -Galerkin Method for Some Elliptic Equations | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3694582 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3694609 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3662556 | 1983-01-01 | Paper |
| COLLOCATION-H-1-GALERKIN METHOD FOR SOME PARABOLIC EQUATIONS IN TWO SPACE VARIABLES | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3962445 | 1982-01-01 | Paper |
| SOME SUPERCONVERGENCE ESTIMATES FOR A COLLOCATION-H-1 -GALERKIN METHOD FOR PARABOLIC PROBLEMS | 1981-01-01 | Paper |
