| Publication | Date of Publication | Type |
|---|
| Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation | 2024-05-07 | Paper |
| A computer‐assisted method for the diblock copolymer model | 2024-01-09 | Paper |
| 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 |
| Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem | 2022-11-09 | Paper |
| Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications | 2022-10-06 | Paper |
| Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem | 2021-06-03 | 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 |
| 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 |
| 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 |
| An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid | 2016-04-14 | 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 |
| A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem | 2015-06-30 | Paper |
| Tests of inequivalence among absolutely nonsingular tensors through geometric invariants | 2014-11-14 | Paper |
| Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces | 2014-07-31 | Paper |
| A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations | 2013-07-23 | Paper |
| A Numerical Verification Method for a System of FitzHugh-Nagumo Type | 2013-01-04 | Paper |
| Numerical verification methods for differential equations: computer-assisted proofs based on infinite dimensional sequential iteration | 2012-10-01 | Paper |
| A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations | 2012-02-19 | 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 two-coupled elliptic partial differential equations | 2010-02-25 | Paper |
| Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem | 2010-02-25 | Paper |
| Spectral Problem on 3-D Photonic Crystals | 2010-01-22 | 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 |
| A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid | 2009-01-07 | 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 |
| Some computer assisted proofs for solutions of the heat convection problems | 2003-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329959 | 2002-05-15 | Paper |
| Verified numerical computations for an inverse elliptic eigenvalue problem with finite data | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4949371 | 2001-11-01 | Paper |
| A numerical verification for stationary solutions of Rayleigh-Bénard convection | 2001-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499752 | 2001-01-29 | Paper |
| A numerical verification method of solutions for the Navier-Stokes equations | 2000-03-22 | 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/Q4705507 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705632 | 1999-12-20 | Paper |
| Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations | 1998-06-08 | 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/Q4847677 | 1996-01-28 | Paper |
| On computational proofs of the existence of solutions to nonlinear parabolic problems | 1994-09-22 | Paper |
| Numerical verifications of solutions for nonlinear elliptic equations | 1994-03-29 | Paper |
