Class Notes of Math 577, Section 3

A paper on geometric theorem proving

Weekly sssignments

These assignments can be used in place of Homework Projects

Midterm review problems


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

Rand and Armbruster book code

The following files contain the Macsyma programs discussed in the book by Rand and Armbruster:

Documentation for SICStus Prolog

A listserv

In order to stimulate a discussion between the members of our class, I created a listserv. This is a mailing list. Here are some facts about it

Obtaining software

Other Computer Algebra notes

I found these notes which may be helpful and interesting.