Class Notes of Math 577, Section 3

A paper on geometric theorem proving

• DVI version
• PostScript version

Weekly sssignments

• (due April 22) hw1.ps | hw1.dvi

Midterm review problems

• TeX version
• DVI version
• PostScript version
• club1.pl is a solution to the first part of the resolution question in Prolog.
• club2.pl is a "naive" solution to the second part of the resolution question.
• club3.pl is a solution to the second part of the resolution question, which emulates common-sense reasoning. Also, see the output

Contents

• Lecture 1, January 17, 1997
• Lecture 2, January 21, 1997
• Lecture 3, January 23, 1997
• Lecture 4, January 28, 1997
• Lecture 5, January 30, 1997
• Lecture 6, February 4, 1997
• Lecture 7, February 6, 1997
• Lecture 8, February 11, 1997
• Lecture 9, February 13, 1997
• Lecture 10, February 18, 1997
• Lecture 11, February 20, 1997
• Lecture 12, February 25, 1997
• Lecture 13, February 27, 1997
• Lecture 14, March 4, 1997
• Lecture 15, March 6, 1997
• Lecture 16, March 11, 1997
• Lecture 17, March 13, 1997
• Lecture 18, March 25, 1997
• Lecture 19, March 27, 1997
• Lecture 20, April 1, 1997
• Lecture 21, April 3, 1997
• Lecture 22, April 8, 1997
• Lecture 23, April 10, 1997
• Lecture 24, April 15, 1997
• Lecture 25, April 17, 1997
• Lecture 26, April 22, 1997
• Lecture 27, April 24, 1997
• Lecture 28, April 29, 1997
• Lecture 29, May 1, 1997
• Lecture 30, May 6, 1997

Homework projects

On-line version of Steele's "Common Lisp, the Language"

Class notes of Math 578 (covering most of the text of Cox, Little and O'Shea

• notes1
• notes2
• notes3
• notes4
• notes5
• notes6
• notes7
• notes8

Rand and Armbruster book code

• program1 contains the limit cycle program discussed in the first chapter.
• program3
• program4
• program5
• program6
• program7
• program8
• program9
• program10
• program11
• program12
• program13
• program14
• program15
• program16
• hamilt

Documentation for SICStus Prolog

• On-line info system under EMACS (Math Department only) Call Emacs, press C-h i and go to the node SICStus or SICStus-LIBrary.
• TeX version of the documentation
• Sicstus manual (.dvi)
• Sicstus Library Manual (.dvi)

A listserv

• You post messages to our listserv by sending e-mail to math577-3@listserv.arizona.edu or filling out this form.
• The message is received by all members of our class
• You will receive all messages sent to math577-3@listserv.arizona.edu by any member of the class
• The list has some privacy protections against access from outside of the University of Arizona
• You may retrieve old messages and delete yourself from the mailing list either by contacting
rychlik@math.arizona.edu

or by sending commands to listserv. The information on how to do this is in the listserv User Guide

Obtaining software

• Check out the free Allegro Common Lisp offer for Linux at the Franz Lisp site
• BinProlog can be obtained from ftp://clement.info.umoncton.ca/BinProlog
• SBProlog can be obtained from ftp://cs.arizona.edu:/sbprolog or ftp://ftp.cs.sunysb.edu:/pub/sbprolog
• Gcl (GNU Common Lisp) and Maxima (a large system similar to MACSYMA) can be obtained from ftp://ftp.ma.utexas.edu:/pub/gcl and ftp://ftp.ma.utexas.edu:/pub/maxima, respectively.

Other Computer Algebra notes