Research Output per year

## 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

### 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 journal › Article

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 journal › Article

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 proceeding › Conference 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 proceeding › Conference 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 journal › Article

Quantifier Elimination

Quantifiers

Maple

Decomposition

Eliminate