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

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

Mathematics

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

Engineering & Materials Science

Algebra
Benchmarking
Polynomials
Theorem proving