Pureに変更を加えた場合、すぐここに表示されます。

研究成果 2014 2019

  • 24 引用
  • 3 h指数
  • 7 会議での発言
  • 4 記事
フィルター
記事
2019

On Multivariate Hermitian Quadratic Forms

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

研究成果: ジャーナルへの寄稿記事

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., 1 1 2018, : : AI Communications. 31, 3, p. 251-266 16 p.

研究成果: ジャーナルへの寄稿記事

Benchmarking
Algebra
Number theory
Theorem proving
Internet
2016
1 引用 (Scopus)

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

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

研究成果: ジャーナルへの寄稿記事

Quantifier Elimination
Quantifiers
Maple
Decomposition
Eliminate
2015
1 引用 (Scopus)

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

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

研究成果: ジャーナルへの寄稿記事

Quantifier Elimination
Algebraically closed
Quantifiers
Output
Maple