( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Numerical Verification Method of Solutions for the Navier-Stokes Equations.

, , и . SCAN, стр. 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.

Yoshitaka Toyama

Yoshitaka Nakamura

Wataru Watanabe

Rie Watanabe

Norihiro Watanabe

 

Другие публикации лиц с тем же именем

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