年別の研究成果
年別の研究成果
検索結果
-
2016
Verified computations for solutions to semilinear parabolic equations using the evolution operator
Takayasu, A., Mizuguchi, M., Kubo, T. & Oishi, S., 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, p. 218-223 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).研究成果: Conference contribution
1 被引用数 (Scopus) -
Verified error bounds for the real gamma function using double exponential formula over semi-infinite interval
Yamanaka, N., Okayama, T. & Oishi, S., 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, p. 224-228 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).研究成果: Conference contribution
1 被引用数 (Scopus) -
2013
A consideration on the condition number of extremely ill-conditioned matrices
Nishi, T., Rump, S. & Oishi, SI., 2013 12月 1, 2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings. 6662260. (2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings).研究成果: Conference contribution
2 被引用数 (Scopus) -
2012
Matrix multiplication with guaranteed accuracy by level 3 BLAS
Ozaki, K., Ogita, T. & Oishi, S., 2012, International Conference of Computational Methods in Sciences and Engineering 2009, ICCMSE 2009. p. 1128-1133 6 p. (AIP Conference Proceedings; vol. 1504).研究成果: Conference contribution
-
2011
Cascade synthesis of RC polyphase one-ports
Nishi, T., Tanimoto, H. & Oishi, SI., 2011 11月 8, 2011 20th European Conference on Circuit Theory and Design, ECCTD 2011. p. 102-105 4 p. 6043287. (2011 20th European Conference on Circuit Theory and Design, ECCTD 2011).研究成果: Conference contribution
1 被引用数 (Scopus) -
2005
Fast verification for respective eigenvalues of symmetric matrix
Miyajima, S., Ogita, T. & Oishi, S., 2005, Computer Algebra in Scientific Computing - 8th International Workshop, CASC 2005, Proceedings. p. 306-317 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3718 LNCS).研究成果: Conference contribution
8 被引用数 (Scopus) -
1992
The self-validating numerics - A new tool for computer assisted proofs of nonlinear problems
Oishi, SI., 1992, 1992 IEEE International Symposium on Circuits and Systems, ISCAS 1992. Institute of Electrical and Electronics Engineers Inc., p. 2773-2776 4 p. 230623. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 6).研究成果: Conference contribution