Calculated based on number of publications stored in Pure and citations from Scopus
1979 …2022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • Conference contribution

    A consideration on the condition number of extremely ill-conditioned matrices

    Nishi, T., Rump, S. & Oishi, SI., 2013 Dec 1, 2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings. 6662260. (2013 European Conference on Circuit Theory and Design, ECCTD 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Cascade synthesis of RC polyphase one-ports

    Nishi, T., Tanimoto, H. & Oishi, SI., 2011 Nov 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Fast verification for respective eigenvalues of symmetric matrix

    Miyajima, S., Ogita, T. & Oishi, S., 2005 Dec 1, 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)