Content deleted Content added
m →Mathematics used in computer algebra systems: Removed a duplicate entry in list, extra link to Cylindrical Algebraic Decomposition |
→Mathematics used in computer algebra systems: Tarski method is too inefficient for having ever been implemented |
||
Line 108:
* [[Chinese remainder theorem]]
* [[Diophantine equation]]s
* [[Quantifier elimination]] over real numbers via e.g. Tarski's method▼
* [[Landau's algorithm]] (nested radicals)
* Derivatives of [[elementary function]]s and [[special functions]]. (e.g. See [[derivatives of the incomplete gamma function]].)
* [[Cylindrical algebraic decomposition]]
▲* [[Quantifier elimination]] over real numbers via
==See also==
| |||