Masahide Kashiwagi – 研究成果 — 早稲田大学

Scopus著者プロファイル

ウェブサイトhttps://w-rdb.waseda.jp/html/100000354_ja.html

h-index

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

18 Article
2 Conference article
1 Editorial

18 件

フィルター

2022
Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
Tanaka, K., Plum, M., Sekine, K., Kashiwagi, M. & Oishi, S., 2022, In: Numerical Functional Analysis and Optimization. 43, 3, p. 322-349 28 p.
研究成果: Article › 査読
2021
A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
Sekine, K., Nakao, M. T., Oishi, S. & Kashiwagi, M., 2021 11月, In: Applied Numerical Mathematics. 169, p. 87-107 21 p.
研究成果: Article › 査読

Open Access
2016
Verified Computations for Hyperbolic 3-Manifolds
Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S. & Takayasu, A., 2016 1月 2, In: Experimental Mathematics. 25, 1, p. 66-78 13 p.
研究成果: Article › 査読
21 被引用数 (Scopus)
2011
A note on a verified automatic integration algorithm
Yamanaka, N., Kashiwagi, M., Oishi, S. & Ogita, T., 2011 6月 1, In: Reliable Computing. 15, 2, p. 156-167 12 p.
研究成果: Article › 査読
2007
Existence test for solution of nonlinear systems applying affine arithmetic
Miyajima, S. & Kashiwagi, M., 2007 2月 15, In: Journal of Computational and Applied Mathematics. 199, 2, p. 304-309 6 p.
研究成果: Article › 査読
3 被引用数 (Scopus)
2004
A dividing method utilizing the best multiplication in affine arithmetic
Miyajimaa, S. & Kashiwagi, M., 2004, In: ieice electronics express. 1, 7, p. 176-181 6 p.
研究成果: Article › 査読
14 被引用数 (Scopus)
On Range Evaluation of Polynomials by Applying Interval Arithmetic
Miyajima, S. & Kashiwagi, M., 2004 12月 1, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2907, p. 254-261 8 p.
研究成果: Article › 査読
On Range Inclusion of Polynomials Applying Interval Arithmetic
Miyajima, S. & Kashiwagi, M., 2004 3月, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E87-A, 3, p. 725-731 7 p.
研究成果: Article › 査読
2003
A New Dividing Method in Affine Arithmetic
Miyajima, S., Miyata, T. & Kashiwagi, M., 2003 9月, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E86-A, 9, p. 2192-2196 5 p.
研究成果: Article › 査読
7 被引用数 (Scopus)
Numerical verification of nonexistence of solutions for separable nonlinear equations and its application to all solutions algorithm
Nakaya, Y., Oishi, S., Kashiwagi, M. & Kanzawa, Y., 2003 5月 1, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 86, 5, p. 45-53 9 p.
研究成果: Article › 査読
3 被引用数 (Scopus)
2002
An algorithm for iteratively refining the interval including the solution set of parameter-dependent nonlinear equations
Kanzawa, Y., Kashiwagi, M. & Oishi, S., 2002 2月 26, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 85, 4, p. 39-44 6 p.
研究成果: Article › 査読
2001
Long time integration for initial value problems of ordinary differential equations using power series arithmetic
Miyata, T., Nagatomo, Y. & Kashiwagi, M., 2001 9月, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E84-A, 9, p. 2230-2237 8 p.
研究成果: Article › 査読
1999
Algorithm for finding all solutions of parameter-dependent nonlinear equations with guaranteed accuracy
Kanzawa, Y., Kashiwagi, M. & Oishi, S., 1999 10月 1, In: Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi). 82, 10, p. 33-39 7 p.
研究成果: Article › 査読
3 被引用数 (Scopus)
1995

Numerical validation method for nonlinear equations using interval analysis and rational arithmetic
Kashiwagi, M. & Oishi, SI., 1995 7月, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 78, 7, p. 99-112 14 p.
研究成果: Article › 査読
1993
A modified Newton method with guaranteed accuracy based on rational arithmetic
Inoue, A., Kashiwagi, M., Oishi, S. & Makino, M., 1993 5月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 5, p. 795-805 11 p.
研究成果: Article › 査読
Estimation method of region guaranteeing existence of a solution path in Newton type homotopy method
Makino, M., Kashiwagi, M., Oishi, S. & Horiuchi, K., 1993 7月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 7, p. 1113-1116 4 p.
研究成果: Article › 査読
2 被引用数 (Scopus)
Sufficient condition of a priori estimation for computational complexity of the homotopy method
Makino, M., Kashiwagi, M., Oishi, S. & Horiuchi, K., 1993 5月 1, In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E76-A, 5, p. 786-794 9 p.
研究成果: Article › 査読
1 被引用数 (Scopus)
1991
Computational complexity of the homotopy method for calculating solutions of strongly monotonic resistive circuit equations
Makino, M., Oishi, S., Kashiwagi, M. & Horiuchi, K., 1991, In: Electronics and Communications in Japan (Part III: Fundamental Electronic Science). 74, 11, p. 90-100 11 p.
研究成果: Article › 査読