Revision as of 21:06, 5 October 2024 edit D.Lazard (talk \| contribs) Extended confirmed users 35,627 edits →Mathematics used in computer algebra systems: Tarski method is too inefficient for having ever been implemented ← Previous edit		Revision as of 21:07, 5 October 2024 edit undo D.Lazard (talk \| contribs) Extended confirmed users 35,627 edits →Mathematics used in computer algebra systems: typo Next edit →
Line 111: * 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 ~~Cylindrical~~cylindrical algebraic decomposition ==See also==

Computer algebra system: Difference between revisions