Content deleted Content added
→See also: Comparison of TeX editors Tag: Reverted |
Undid revision 1285696512 by Wikideas1 (talk): didn't find any mention of computer algebra on that page |
||
Line 92:
* [[Automated theorem prover]]
* [[Computer-assisted proof]]
* [[Computational algebraic geometry]]
* [[Computer algebra system]]
|