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

Fingerprint Dive into the research topics where Ryoya Fukasaku is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 30 Citations
  • 3 h-Index
  • 7 Conference contribution
  • 4 Article

On Multivariate Hermitian Quadratic Forms

Fukasaku, R., Iwane, H. & Sato, Y., Jun 1 2019, In : Mathematics in Computer Science. 13, 1-2, p. 79-93 15 p.

Research output: Contribution to journalArticle

  • 1 Citation (Scopus)

    Can an A.I. win a medal in the mathematical olympiad?-Benchmarking mechanized mathematics on pre-university problems 1

    Matsuzaki, T., Iwane, H., Kobayashi, M., Zhan, Y., Fukasaku, R., Kudo, J., Anai, H. & Arai, N. H., Jan 1 2018, In : AI Communications. 31, 3, p. 251-266 16 p.

    Research output: Contribution to journalArticle

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

    Sato, Y., Fukasaku, R. & Sekigawa, H., Jul 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).

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

  • 2 Citations (Scopus)

    On real roots counting for non-radical parametric ideals

    Fukasaku, R. & Sato, Y., Jan 1 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).

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

  • 1 Citation (Scopus)

    CGSQE/SyNRAC - A real quantifier elimination package based on the computation of comprehensive Gröbner systems

    Fukasaku, R., Iwane, H. & Sato, Y., Sep 2016, In : ACM Communications in Computer Algebra. 50, 3, p. 101-104 4 p., 3015313.

    Research output: Contribution to journalArticle

  • 1 Citation (Scopus)