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

Fingerprint Ryoya Fukasakuが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。

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

ネットワーク 最近の共同研究。丸をクリックして詳細を確認しましょう。

研究成果 2014 2019

  • 24 引用
  • 3 h指数
  • 7 会議での発言
  • 4 記事

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

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
1 引用 (Scopus)

On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal

Sato, Y., Fukasaku, R. & Sekigawa, H., 7 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).

研究成果: 著書/レポートタイプへの貢献会議での発言

Polynomial Ideals
Zero-dimensional
Multivariate Polynomials
Roots
Quantifier Elimination

On real roots counting for non-radical parametric ideals

Fukasaku, R. & Sato, Y., 1 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. (版). Springer Verlag, p. 258-263 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10693 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Real Roots
Counting
Equality
Quantifier Elimination
Quadratic form
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