Ascent++
Search
Assertion list
algebraic expression
(
subgroup
of
expression
)
→ CapableOf
Results from
Ascent++
:
2
algebraic expression
→
CapableOf
→
simplify algebraic expressions
0.68
algebraic expression
→
CapableOf
→
produce at least one numeric re…
0.25