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