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

研究成果 2014 2019

  • 24 引用
  • 3 h指数
  • 7 会議での発言
  • 4 記事
フィルター
会議での発言
2018
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
2017

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

Improving a CGS-QE algorithm

Fukasaku, R., Iwane, H. & Sato, Y., 1 1 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (版). Springer Verlag, p. 231-235 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9582).

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

Quantifier Elimination
4 引用 (Scopus)

On the implementation of CGS real QE

Fukasaku, R., Iwane, H. & Sato, Y., 1 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (版). Springer Verlag, p. 165-172 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9725).

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

Quantifier Elimination
Real Roots
Efficient Implementation
Counting
2 引用 (Scopus)

Race against the teens – Benchmarking mechanized math on pre-university problems

Matsuzaki, T., Iwane, H., Kobayashi, M., Zhan, Y., Fukasaku, R., Kudo, J., Anai, H. & Arai, N. H., 1 1 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (版). Springer Verlag, p. 213-227 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9706).

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

Benchmarking
Natural Language
Automated Theorem Proving
Benchmark
Theorem proving
2015
9 引用 (Scopus)

Real quantifier elimination by computation of comprehensive Gröbner systems

Fukasaku, R., Iwane, H. & Sato, Y., 6 24 2015, ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 173-180 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; 巻数 2015-June).

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

Quantifier Elimination
Real Roots
Computer algebra system
Maple
Simplification
2014
2 引用 (Scopus)

QE software based on comprehensive Gröbner systems

Fukasaku, R., 1 1 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, p. 512-517 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 8592 LNCS).

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

Real Closed Fields
Quantifier Elimination
Software
Algebraically closed