Pureの文献数とScopusの被引用数に基づいて算出されます
20142021

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。
フィルター
会議への寄与

検索結果

  • 2021

    Criteria for Hopf Bifurcations with Fixed Multiplicities

    Fukasaku, R., 7月 18 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 147-154 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

  • 2020

    Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem

    Ikematsu, Y., Fukasaku, R., Kudo, M., Yasuda, M., Takashima, K. & Yokoyama, K., 10月 5 2020, APKC 2020 - Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, Co-located with AsiaCCS 2020. Association for Computing Machinery, Inc, p. 36-44 9 p. (APKC 2020 - Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, Co-located with AsiaCCS 2020).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

  • On Parametric Border Bases

    Sato, Y., Sekigawa, H., Fukasaku, R. & Nabeshima, K., 2020, Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Revised Selected Papers. Slamanig, D., Tsigaridas, E. & Zafeirakopoulos, Z. (eds.). Springer, p. 10-15 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11989 LNCS).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

  • 2018

    On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal

    Sato, Y., Fukasaku, R. & Sekigawa, H., 7月 11 2018, ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 359-365 7 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    3 被引用数 (Scopus)
  • 2017

    On real roots counting for non-radical parametric ideals

    Fukasaku, R. & Sato, Y., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Kotsireas, I. S., Blomer, J., Simos, D. E. & Kutsia, T. (eds.). Springer Verlag, p. 258-263 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 LNCS).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    1 被引用数 (Scopus)
  • 2016

    Improving a CGS-QE algorithm

    Fukasaku, R., Iwane, H. & Sato, Y., 1月 1 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. 231-235 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    4 被引用数 (Scopus)
  • On the implementation of CGS real QE

    Fukasaku, R., Iwane, H. & Sato, Y., 1月 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (eds.). Springer Verlag, p. 165-172 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9725).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    5 被引用数 (Scopus)
  • Race against the teens – Benchmarking mechanized math on pre-university problems

    Matsuzaki, T., Iwane, H., Kobayashi, M., Zhan, Y., Fukasaku, R., Kudo, J., Anai, H. & Arai, N. H., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 213-227 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    2 被引用数 (Scopus)
  • 2015

    Real quantifier elimination by computation of comprehensive Gröbner systems

    Fukasaku, R., Iwane, H. & Sato, Y., 6月 24 2015, ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 173-180 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. 2015-June).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    12 被引用数 (Scopus)
  • 2014

    QE software based on comprehensive Gröbner systems

    Fukasaku, R., 1月 1 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, p. 512-517 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592 LNCS).

    研究成果: 書籍/レポート タイプへの寄稿会議への寄与

    2 被引用数 (Scopus)