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

Fingerprint 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

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

研究成果 2014 2018

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

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

Fukasaku, R., Iwane, H. & Sato, Y., 1 1 2018, (受理済み/印刷中) : : Mathematics in Computer Science.

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

Quantifier Elimination
Polynomial ring
Quadratic form
Saturation
Polynomials

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