Assertion list for term "algebraic".
Results from Ascent++: 3
rational number → HasProperty → algebraic 0.48
curve → HasProperty → algebraic 0.47
proof → HasProperty → algebraic 0.27