I intend to provide "tutorial" style information on subjects relating to my research.
A Tutorial on Quantifier Elimination by Cylindrical Algebraic Decomposition
QEPCAD: Implementation Documentation
QEPCAD: User Documentation
REDLOG: Just reminders to myself of what the commands are
Christopher W Brown
Last modified: Mon Apr 23 14:23:30 EDT 2007