Revision as of 22:16, 4 November 2020 edit AnomieBOT (talk \| contribs) Bots 6,860,135 edits m Dating maintenance tags: {{Citation needed}} ← Previous edit		Revision as of 15:51, 11 November 2020 edit undo Rubatostuf (talk \| contribs) 15 edits →Mathematics used in computer algebra systems: Added short description Tags: Mobile edit Mobile app edit Android app edit Next edit →
Line 99: * [[Diophantine equation]]s * [[Quantifier elimination]] over real numbers via e.g. Tarski's method/[[Cylindrical algebraic decomposition]] * [[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]]

Computer algebra system: Difference between revisions