Content deleted Content added
→History: consolidate overly detailed calculator section and add a source |
m →Mathematics used in computer algebra systems: Removed a duplicate entry in list, extra link to Cylindrical Algebraic Decomposition |
||
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]].)
| |||