Tutorials

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