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

Fingerprint フィンガープリントは、重要用語の索引を作成するために当該人物の研究文献のテキストの利用に基づいて、各研究者の主題を定義します。

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