What's New | About QEPCAD | Quantifier Elimination | User Documentation | Implementation Documentation | Examples | Install QEPCAD | SLFQ |
x
such that [ x^2 + b x + c = 0 ]
"
and QEPCAD returns a formula like "[ b^2 - 4 c >= 0]
",
which is equivalent to the input when x
,
b
and c
are assumed to range over
the real numbers.
However, QEPCAD's interactive interface allows the user
control of how problems are solved and what kinds of answers
are given, and making good use of this interface can
drastically reduce the time and space required to solve problems
and improve the quality of QEPCAD's results.
More Information ...