home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / symbolic / 2075 < prev    next >
Encoding:
Internet Message Format  |  1992-07-25  |  1.6 KB

  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!agate!peoplesparc.Berkeley.EDU!fateman
  2. From: fateman@peoplesparc.Berkeley.EDU (Richard Fateman)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: simplification
  5. Date: 26 Jul 1992 00:05:14 GMT
  6. Organization: University of California at Berkeley
  7. Lines: 30
  8. Message-ID: <14sq7qINN26r@agate.berkeley.edu>
  9. References: <1992Jul25.115733.27293@wuecl.wustl.edu> <1992Jul25.195532.24675@uxa.ecn.bgu.edu>
  10. NNTP-Posting-Host: peoplesparc.berkeley.edu
  11.  
  12. Reader of sci.math.symbolic who want someone else's magic program to
  13. do simplification, or integration, or ...
  14. might find it useful to look at the following book:
  15.  
  16. Peter Norvig: 
  17.   Paradigms of Artificial Intelligence Programming: Case studies in
  18. Common Lisp.  Published by Morgan Kaufmann. 1992
  19.  
  20. Chapter 8:  Symbolic Mathematics: A Simplification Program (22 pages)
  21. Chapter 15: Symbolic Mathematics with Canonical Forms (20 pages)
  22.  
  23. Although you might argue with the approach here and there, 
  24. all the (working!) code is included. Chapter 8 includes, in addition
  25. to a simplifier,  a parser, display, differentiation and integration
  26. (derivative divides).
  27.  
  28. You may find some of other chapters are also relevant (making programs
  29. run faster, compiling rules, pattern matching, prolog,  etc)
  30.  
  31. We use this book for an "Advanced AI programming" course at
  32. Berkeley.  I highly recommend it for anyone who wants to see
  33. examples of well-written non-trivial common lisp code solving
  34. classical problems, building tools, playing games, parsing natural
  35. language etc.
  36.  
  37. RJF
  38.  
  39. -- 
  40. Richard J. Fateman
  41. fateman@cs.berkeley.edu   510 642-1879
  42.