Author of the publication

A Numerical Verification Method of Solutions for the Navier-Stokes Equations.

, , and . SCAN, page 347-357. Springer, (1998)

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

H3 and H4 Regularities of the Poisson Equation on Polygonal Domains., , and . MACIS, volume 9582 of Lecture Notes in Computer Science, page 199-201. Springer, (2015)Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem., and . JSIAM Lett., (2022)A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations., , and . Math. Comput., 82 (283): 1543-1557 (2013)EMC Design Support Tool for Consumer Product., , and . ICCE, page 1-2. IEEE, (2019)A Numerical Verification Method of Solutions for the Navier-Stokes Equations., , and . SCAN, page 347-357. Springer, (1998)A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration., and . Appl. Math. Comput., (2016)Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators., , and . SCAN, volume 9553 of Lecture Notes in Computer Science, page 225-235. Springer, (2014)A Numerical Verification Method of Solutions for the Navier-Stokes Equations., , and . Reliab. Comput., 5 (3): 347-357 (1999)EMI designs support system using augmented reality., , , , , , and . ICCE, page 1-2. IEEE, (2018)