On: Integral Calculus in Lambda Calculus (Lisp)

[jgrant27]

I'm not going to implement that for you. Sorry.

See Norvig's "Paradigms of Artificial Intelligence Programming - Case Studies in Common Lisp", Chapter 8 - Symbolic Mathematics : A Simplification Program, 8.6 - Integration, page 252.

http://norvig.com/paip.html