＞数理逻辑与数学基础＞证明论＞释义 arithmetization 算术化 arithmetization 算术化†
理论计算机科学 可计算性与计算复杂性 释文 arithmetization 算术化
- polynomial algebra
- polynomial allocation
- polynomial approximation
- polynomial arithmetic
- polynomial bar norm
- polynomial bracket norm
- polynomial code
- polynomial coefficient
- polynomial convex hull
- polynomial convexity
- polynomial curve
- polynomial decision rule
- polynomial degree
- polynomial discriminant
- polynomial distribution
- polynomial divisor
- polynomial equation
- polynomial expansion
- polynomial extrapolation
- polynomial factoring
- polynomial factoring over finite fields
- polynomial factoring over number fields
- polynomial factorization
- polynomial factor theorem
- polynomial form