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.

Quantifier Elimination Mathematics
Benchmarking Engineering & Materials Science
Real Roots Mathematics
Counting Mathematics
Algebraically closed Mathematics
Polynomial Ideals Mathematics
Quadratic form Mathematics
Zero-dimensional Mathematics

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

Research Output 2014 2019

  • 24 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

Quantifier Elimination
Polynomial ring
Quadratic form
Saturation
Polynomials

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

Benchmarking
Algebra
Number theory
Theorem proving
Internet
1 Citation (Scopus)

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

Polynomial Ideals
Zero-dimensional
Multivariate Polynomials
Roots
Quantifier Elimination

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

Real Roots
Counting
Equality
Quantifier Elimination
Quadratic form
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 1 2016, In : ACM Communications in Computer Algebra. 50, 3, p. 101-104 4 p., 3015313.

Research output: Contribution to journalArticle

Quantifier Elimination
Quantifiers
Maple
Decomposition
Eliminate