| No. |
種別 |
査読の有無 |
標題 |
単著・共著区分 |
著者 |
誌名 |
巻号頁 |
出版日 |
ISSN |
DOI |
URL |
| 1 |
一般論文
|
有
|
On numerical verification methods to construct local Lyapunov functions around non-hyperbolic equilibria for two-dimensional cases
|
共著
|
Koki Nitta, Toshiki Sasaki, Nobito Yamamoto
|
JSIAM Letters
|
14, 33-36
|
2022/03/16
|
|
|
|
| 2 |
一般論文
|
有
|
Errata to ‘‘On the construction of Lyapunov functions with computer assistance’’
|
共著
|
Kaname Matsue a , Tomohiro Hiwaki b , Nobito Yamamoto
|
Journal of Computational and Applied Mathematics
|
384, 113175-
|
2021/03/01
|
|
|
|
| 3 |
一般論文
|
有
|
Construction of local Lyapunov functions around non-hyperbolic equilibria by verified numerics for two dimensional cases
|
共著
|
Gen Terasaka, Masao Nakamura, Koki Nitta, Nobito Yamamoto
|
JSIAM Letters
|
12, 37-40
|
2020/07/21
|
|
|
|
| 4 |
一般論文
|
有
|
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
|
|
| 5 |
一般論文
|
有
|
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
|
|
| 6 |
一般論文
|
有
|
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
|
|
|
|
| 7 |
一般論文
|
有
|
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
|
|
|
|
| 8 |
一般論文
|
有
|
Validated Computation of Global Solutions to ODEs
|
|
M.Harikae, N.Yamamoto
|
Nonlinear Theory and its Applications, IEICE
|
4/ 1, 88-96
|
2013/01
|
|
|
|
| 9 |
一般論文
|
有
|
力学系における閉軌道の存在領域の精度保証法による同定
|
|
樋脇知広・山本野人
|
日本応 用数理学会論文誌
|
22/ 4, 269-276
|
2012/12
|
|
|
|
| 10 |
一般論文
|
有
|
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
|
|
|
|
| 11 |
一般論文
|
有
|
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
|
|
|
|
| 12 |
一般論文
|
有
|
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
|
|
|
|
| 13 |
一般論文
|
有
|
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
|
|
|
|
| 14 |
一般論文
|
有
|
常微分方程式境界値問題の精度保証法の初期値問題への適用
|
|
小森喬・山本野人
|
日本応用数理学会論文誌
|
18/ 3, 303-319
|
2008
|
|
|
|
| 15 |
一般論文
|
有
|
連続した入力パタンのあいだの順序関係を認識する神経回路モデル -- 情報の予測・抽象化に向けて --
|
|
田中一穂、矢野慎一郎、山本野人
|
日本応用数理学会論文誌
|
18/ 1, 87-105
|
2008
|
|
|
|
| 16 |
一般論文
|
有
|
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
|
|
|
|
| 17 |
一般論文
|
有
|
楕円型方程式の解に対する局所一意性付き数値\\的検証法の効率化
|
|
渡部 善隆・山本 野人・中尾 充宏
|
日本応用数理学会論文誌
|
15/ 4, 509-520
|
2005
|
|
|
|
| 18 |
一般論文
|
有
|
多倍長演算を利用したBessel関数の精度保証付き数値計算
|
|
山本 野人, 松田 望
|
日本応用数理学会論文誌
|
15/ 3, 347-359
|
2005
|
|
|
|
| 19 |
一般論文
|
有
|
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
|
|
|
|
| 20 |
一般論文
|
無
|
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
|
|
|
|
| 21 |
一般論文
|
無
|
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
|
|
|
|
| 22 |
一般論文
|
無
|
熱対流問題の解に対する計算機援用証明,
|
|
渡部 善隆, 中尾 充宏, 山本 野人, 西田 孝明
|
数学解析の計算機上での理論的展開とその遂行可能性, 京都大学数理解析研究所講究録
|
1286, 17-26
|
2002/09
|
|
|
|
| 23 |
一般論文
|
無
|
Rayleigh-Benard対流の定常解に対する精度保証付き数値計算 II
|
|
渡部 善隆, 山本 野人, 中尾 充宏, 西田 孝明
|
微分方程式の離散化手法と数値計算アルゴリズム, 京都大学数理解析研究所講究録
|
1265, 71-80
|
2002/05
|
|
|
|
| 24 |
一般論文
|
有
|
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
|
|
|
|
| 25 |
一般論文
|
有
|
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
|
|
|
|
| 26 |
一般論文
|
有
|
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
|
|
|
|
| 27 |
一般論文
|
有
|
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
|
|
|
|
| 28 |
一般論文
|
有
|
A simple method for error bounds of eigenvalues of symmetric matrices
|
|
Yamamoto, N.
|
Linear Algebra and its Applications
|
34/ 3, 227-234
|
2001/02
|
|
|
|
| 29 |
一般論文
|
無
|
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
|
|
|
|
| 30 |
一般論文
|
無
|
有限要素法の近似能力について
|
|
山本野人
|
応用数学合同研究集会、龍谷大学（2000年12月21日）
|
|
2000/12
|
|
|
|
| 31 |
一般論文
|
無
|
``Error estimates of finite element solutions by spectrum method with verified computation''
|
|
Nobito Yamamoto
|
Matsuyama Workshop on Numerical Analysis, October 5, 2000
|
|
2000/10
|
|
|
|
| 32 |
一般論文
|
無
|
''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
|
|
|
|
| 33 |
一般論文
|
無
|
''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
|
|
|
|
| 34 |
一般論文
|
無
|
楕円型逆固有値問題の精度保証付き数値計算
|
|
渡部 善隆, 山本 野人, 中尾 充宏
|
第4回環瀬戸内応用数理研究部会シンポジウム講演プログラム・要旨集, 武雄センチュリーホテル, 佐賀県武雄市
|
64-65
|
2000/06
|
|
|
|
| 35 |
一般論文
|
無
|
Rayleigh-B\'enard 対流の定常分岐解に対する精度保証付き数値計算
|
|
渡部 善隆, 山本 野人, 中尾 充宏
|
九州大学数値解析学セミナー, 九州大学大学院数理学研究院
|
|
2000/05
|
|
|
|
| 36 |
一般論文
|
有
|
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
|
|
|
|
| 37 |
一般論文
|
有
|
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
|
|
|
|
| 38 |
一般論文
|
無
|
Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains(共著)
|
|
|
Numerische Mathematik
|
65, 503-521
|
1993
|
|
|
|
| 39 |
一般論文
|
無
|
Numerical verifications of solutions for elliptic equations with strong nonlinearity(共著)
|
|
|
Numerical Functional Analysis and Optimization
|
12, 535-543
|
1991
|
|
|
|
| 40 |
招待論文
|
無
|
常微分方程式の解の精度保証法
|
|
山本野人
|
シミュレーション
|
31/ 3, 149-153
|
2012/09
|
|
|
|
| 41 |
招待論文
|
有
|
精度保証付き多倍長演算の方法と構成
|
|
山本野人、松田望
|
計測と制御
|
49/ 5, 297-302
|
2010
|
|
|
|
| 42 |
解説
|
無
|
中尾充宏氏の業績 ー 偏微分方程式の精度保証付き数値計算 ー
|
|
山本野人
|
数学
|
65/ 2, 200-207
|
2013/04
|
|
|
|