Takuma Kimura

Available identifiers

Publication	Date of Publication	Type
Improvement of the constructive a priori error estimates for a fully discretized periodic solution of heat equation	2022-08-03	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
A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems	2017-10-10	Paper
Some considerations of the invertibility verifications for linear elliptic operators	2015-06-30	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
Validated solutions for \(P\)-matrix linear complementarity problems	2013-09-04	Paper
Constructive a priori error estimates for a full discrete approximation of the heat equation	2013-09-02	Paper
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems	2012-04-04	Paper
A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations	2011-12-21	Paper
Validated Solutions of Saddle Point Linear Systems	2009-11-06	Paper
https://portal.mardi4nfdi.de/entity/Q3629106	2009-05-26	Paper
Topological properties of the numerical range of matrix polynomials	2009-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q3616323	2009-03-24	Paper

This page was built for person: Takuma Kimura