1961 ⟶ SAINT: First Symbolic Integration Program

James Slagle (PhD dissertation, MIT) wrote (in Lisp) the fir...
Timelines Logo
Year
1961
1968

🧮 SAINT: First Symbolic Integration Program

James Slagle (PhD dissertation, MIT) wrote (in Lisp) the first symbolic integration program, SAINT, which solved Calculus problems at the college freshman level.⟶
SAINT: First Symbolic Integration Program (1961)
Symbolic ComputationLispJames SlagleEarly AICalculusAutomation
United StatesUnited States

➕ Macsyma: Symbolic Reasoning for Integration

Joel Moses (PhD work at MIT) demonstrated the power of symbolic reasoning for integration problems in the Macsyma program. First successful knowledge-based program in Mathematics.⟶
Macsyma: Symbolic Reasoning for Integration (1968)
Symbolic ReasoningMathematicsKnowledge-Based SystemsMITMacsymaMoses
United StatesUnited States