Author of the publication

A new formulation for the numerical proof of the existence of solutions to elliptic problems.

, , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fast Verified Solutions of Sparse Linear Systems with H-matrices., , , and . Reliab. Comput., 19 (2): 127-141 (2013)Numerical verification of positiveness for solutions to semilinear elliptic problems., , , and . JSIAM Lett., (2015)Error Constants for the Semi-Discrete Galerkin Approximation of the Linear Heat Equation., , , and . J. Sci. Comput., 89 (2): 34 (2021)Sharp numerical inclusion of the best constant for embedding on bounded convex domain., , , and . J. Comput. Appl. Math., (2017)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., , and . Numerische Mathematik, 146 (4): 907-926 (2020)A new formulation for the numerical proof of the existence of solutions to elliptic problems., , and . CoRR, (2019)Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems., , and . Comput. Math. Appl., (2022)Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems., , and . CoRR, (2019)Techniques Concerning Computation Accuracy., , , , and . The Art of High Performance Computing for Computational Science, Vol. 1, Springer, (2019)