Content deleted Content added
Updated history section. Added a "Human-driven computer algebra" subsection detailing human computer-guided systems (such as ENIAC), a "Foundations and early applications" subsection discussing earliest references of modern computer algebra (such as McCarthy's influences and the creation of ALTRAN), and reworked the existing history section into a "Historic problems" subsection. |
m Added "Differential analyser" to the "See also" section, as reference to World War II-era systems. |
||
Line 98:
* [[Computational algebraic geometry]]
* [[Computer algebra system]]
* [[Differential analyser]]
* [[Proof checker]]
* [[Model checker]]
| |||