Research Output per year

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

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 2018

### 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 Multivariate Hermitian Quadratic Forms

Fukasaku, R., Iwane, H. & Sato, Y., Jan 1 2018, (Accepted/In press) In : Mathematics in Computer Science.Research output: Contribution to journal › Article

Quantifier Elimination

Polynomial ring

Quadratic form

Saturation

Polynomials

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