論文
公開件数:39件
No. 種別 査読の有無 標題 単著・共著区分 著者 誌名 巻号頁 出版日 ISSN DOI URL
1 一般論文

On the construction of Lyapunov functions with computer assistance
共著
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 一般論文

Some remarks on a priori estimates of highly regular solutions for the Poisson equation in polygonal domains
共著
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 一般論文

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



4 一般論文

Some considerations of the invertibility verifications for linear elliptic operators
共著
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 一般論文

Validated Computation of Global Solutions to ODEs

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



6 一般論文

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

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



7 一般論文

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 一般論文

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 一般論文

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 一般論文

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 一般論文

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

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



12 一般論文

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

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



13 一般論文

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 一般論文

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

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



15 一般論文

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

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



16 一般論文

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 一般論文

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 一般論文

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 一般論文

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

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



20 一般論文

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

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



21 一般論文

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 一般論文

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 一般論文

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 一般論文

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 一般論文

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 一般論文

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 一般論文

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

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

2000/12



28 一般論文

``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 一般論文

''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 一般論文

''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 一般論文

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

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



32 一般論文

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

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

2000/05



33 一般論文

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 一般論文

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 一般論文

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


Numerische Mathematik
65, 503-521
1993



36 一般論文

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


Numerical Functional Analysis and Optimization
12, 535-543
1991



37 招待論文

常微分方程式の解の精度保証法

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



38 招待論文

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

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



39 解説

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

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