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

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

Mathematics

Quantifier Elimination
Real Roots
Counting
Algebraically closed
Polynomial Ideals
Quadratic form
Zero-dimensional
Multivariate Polynomials
Polynomial ring
Benchmarking
Software
Saturation
Quantifiers
Maple
Equality
Roots
Real Closed Fields
Efficient Implementation

Engineering & Materials Science

Benchmarking
Polynomials
Algebra
Theorem proving