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

Research Output 2014 2019

  • 23 Citations
  • 3 h-Index
  • 7 Conference contribution
  • 4 Article
Filter
Article
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 journalArticle

Quantifier Elimination
Polynomial ring
Quadratic form
Saturation
Polynomials
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 journalArticle

Benchmarking
Algebra
Number theory
Theorem proving
Internet
2016
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
2015
1 Citation (Scopus)

On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems

Fukasaku, R., Inoue, S. & Sato, Y., Oct 1 2015, In : Mathematics in Computer Science. 9, 3, p. 267-281 15 p.

Research output: Contribution to journalArticle

Quantifier Elimination
Algebraically closed
Quantifiers
Output
Maple