Published papers
Number of published data : 39
No. Classification Refereed paper Title Authorship Author Journal Volume/issue/page Publication date ISSN DOI URL
1 Paper
Yes
On the construction of Lyapunov functions with computer assistance
Joint
K. Matsue, T. Hiwaki, N. Yamamoto
Journal of Computational and Applied Mathematics
319/ C, 385-412
2017/03/01

10.1016/j.cam.2017.01.002

2 Paper
Yes
Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains
Joint
T. Kinoshita, Y. Watanabe, N. Yamamoto, M.T. Nakao
Japan Journal of Industrial and Applied Mathematics
33/ 3, 629-636
2016/10/24

10.1007/s13160-016-0223-y

3 Paper
Yes
Some remarks on numerical verification of closed orbits in dynamical systems
Joint
T. Hiwaki, N. Yamamoto
Nonlinear Theory and its Applications, IEICE
E-6N/ 3, 397-403
2015/07/01



4 Paper
Yes
Some considerations of the invertibility verifications for linear elliptic operators
Joint
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takehiko Kinoshita, Takuma Kimura, Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics
32/ 1, 19-31
2015/01/09



5 Paper
Yes
Validated Computation of Global Solutions to ODEs

M.Harikae, N.Yamamoto
Nonlinear Theory and its Applications, IEICE
4/ 1, 88-96
2013/01



6 Paper
Yes
力学系における閉軌道の存在領域の精度保証法による同定

樋脇知広・山本野人
日本応 用数理学会論文誌
22/ 4, 269-276
2012/12



7 Paper
Yes
A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations

N.Yamamoto, M.T.Nakao, Y.Watanabe
Numerical Functional Analysis and Optimization
32/ 11, 1190-1204
2011



8 Paper
Yes
On the basic operations of interval multiple-precision arithmetic with center-radius form

N.Matsuda, N.Yamamoto
Nonlinear Theory and Its Applications, IEICE
2/ 1, 54-67
2011/01



9 Paper
Yes
Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems

M.T.Nakao, Y. Watanabe, N.Yamamoto, T.Nishida, M.Kim
Journal of Scientific Computing
43/ 3, 388-401
2010/06



10 Paper
Yes
An Application of Taylor Models to the Nakao Method on ODEs

Nobito Yamamoto, Takashi Komori
Japan Journal of Industrial and Applied Mathematics
26/ 1, 365-392
2009



11 Paper
Yes
常微分方程式境界値問題の精度保証法の初期値問題への適用

小森喬・山本野人
日本応用数理学会論文誌
18/ 3, 303-319
2008



12 Paper
Yes
連続した入力パタンのあいだの順序関係を認識する神経回路モデル -- 情報の予測・抽象化に向けて --

田中一穂、矢野慎一郎、山本野人
日本応用数理学会論文誌
18/ 1, 87-105
2008



13 Paper
Yes
On error estimation of finite element approximations to the elliptic equations in nonconvex domains

N.Yamamoto,K.Genma
Journal of Computational and Applied Mathematics
1/ 199, 347-359
2007/01



14 Paper
Yes
楕円型方程式の解に対する局所一意性付き数値\\的検証法の効率化

渡部 善隆・山本 野人・中尾 充宏
日本応用数理学会論文誌
15/ 4, 509-520
2005



15 Paper
Yes
多倍長演算を利用したBessel関数の精度保証付き数値計算

山本 野人, 松田 望
日本応用数理学会論文誌
15/ 3, 347-359
2005



16 Paper
Yes
A Numerical Verification of Nontrivial Solutions for the
Heat Convection Problem

Y. Watanabe, N.Yamamoto, M.T.Nakao, T.Nishida
Journal of Mathematical Fluid Mechanics
6, 1-20
2004



17 Paper
No
Some computer assisted proofs for solutions of the heat convection problems,

M.T.Nakao, Y. Watanabe, N.Yamamoto, T.Nishida
Reliable Computing
9, 359-372
2003



18 Paper
No
Error estimation with guaranteed accuracy of finite element
method in nonconvex polygonal domains

Yamamoto,N. , Hayakawa,K.
Journal of Computational and Applied
Mathematics
159, 173-183
2003



19 Paper
No
熱対流問題の解に対する計算機援用証明,

渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所講究録
1286, 17-26
2002/09



20 Paper
No
Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 II

渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明
微分方程式の離散化手法と数値計算アルゴリズム, 京都大学数理解析研究所講究録
1265, 71-80
2002/05



21 Paper
Yes
Verified numerical computations for an inverse elliptic eigenvalue problem with finite data

Mitsuhiro T. Nakao, Yashitaka Watanabe,Nobito Yamamoto
Japan Journal of Industrial and Applied Mathematics
18/ 2, 587-602
2001



22 Paper
Yes
A guaranteed bound of the optimal constant in the error estimates for linear triangular element Part II:Details

Mitsuhiro T. Nakao, Nobito Yamamoto
Perspectives on Enclosure Methods, Springer Wien NewYork
265-276
2001



23 Paper
Yes
A guaranteed bound of the optimal constant in the error estimates for linear triangular element

Mitsuhiro T. Nakao, Nobito Yamamoto
Computing Supplement, Springer Wien NewYork
15, 163-173
2001



24 Paper
Yes
Numerical verification Numerical verification method for solutions of the perturbed Gelfand equation

Teruya Minamoto, Nobito Yamamoto , Mitsuhiro T. Nakao
Methods and Applications of Analysis
7/ 1, 251--262-
2001



25 Paper
Yes
A simple method for error bounds of eigenvalues of symmetric matrices

Yamamoto, N.
Linear Algebra and its Applications
34/ 3, 227-234
2001/02



26 Paper
No
Numerical verification method for solutions of the perturbed Gelfand eguation

Minamoto, T., Yamamoto, N., Nakao, M.T.
Methods and Applications of Analysis
7/ 1, 251-262
2000



27 Paper
No
有限要素法の近似能力について

山本野人
応用数学合同研究集会、龍谷大学(2000年12月21日)

2000/12



28 Paper
No
``Error estimates of finite element solutions by spectrum method with verified computation''

Nobito Yamamoto
Matsuyama Workshop on Numerical Analysis, October 5, 2000

2000/10



29 Paper
No
''Verified Computation for PDE with Spectral Methods''

Nobito Yamamoto
9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany

2000/09



30 Paper
No
''Verified Numerical Computation for an Inverse Elliptic Eigenvalue Problem''

Yoshitaka Watanabe, Nobito Yamamoto and Mitsuhiro T. Nakao
9th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2000) jointly International Conference on Interval Methods in Science and Engineering, September 18-22, 2000, Karlsruhe, Germany

2000/09



31 Paper
No
楕円型逆固有値問題の精度保証付き数値計算

渡部 善隆, 山本 野人, 中尾 充宏
第4回環瀬戸内応用数理研究部会シンポジウム講演プログラム・要旨集, 武雄センチュリーホテル, 佐賀県武雄市
64-65
2000/06



32 Paper
No
Rayleigh-B\'enard 対流の定常分岐解に対する精度保証付き数値計算

渡部 善隆, 山本 野人, 中尾 充宏
九州大学数値解析学セミナー, 九州大学大学院数理学研究院

2000/05



33 Paper
Yes
A numerical verification method for solutions of boundary value problems with local uniqueness by Banach's fixed point theorem

Yamamoto, N.
SIAM Journal on Numerical Analysis
35/ 5, 2004-2013
1998



34 Paper
Yes
Numerical verifications for solutions to elliptic equations using residual iterations with higher order finite element(共著)

Nobito Yamamoto, Mitsuhiro T. Nakao
Journal of Computational and Applied Mathematics
60, 271-279
1995



35 Paper
No
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains(共著)


Numerische Mathematik
65, 503-521
1993



36 Paper
No
Numerical verifications of solutions for elliptic equations with strong nonlinearity(共著)


Numerical Functional Analysis and Optimization
12, 535-543
1991



37 Invited paper
No
常微分方程式の解の精度保証法

山本野人
シミュレーション
31/ 3, 149-153
2012/09



38 Invited paper
Yes
精度保証付き多倍長演算の方法と構成

山本野人、松田望
計測と制御
49/ 5, 297-302
2010



39 Tutorial
No
中尾充宏氏の業績 ー 偏微分方程式の精度保証付き数値計算 ー

山本野人
数学
65/ 2, 200-207
2013/04