高校レベルの定理が網羅されていないような気がする。

declare(a,real)$
declare(b,real)$
declare(c,real)$
declare(x,real)$
assume(equal(a*x^2+b*x+c,0))$
is(b^2-4*a*c>=0);

> (%o6) unknown