Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Brown, Christopher W. - Computer Science Department, United States Naval Academy
Qepcad b --a program for computing with semi-algebraic sets using CADs Christopher W. Brown
SOLUTION FORMULA CONSTRUCTION FOR TRUTH INVARIANT CAD'S
ISSAC 2004 Tutorial Cylindrical Algebraic Decomposition, Christopher W. Brown 1. Introduction
Improved Projection for Cylindrical Algebraic Decomposition
Constructing Cylindrical Algebraic Decompositions of the Plane Quickly
The McCallum projection, lifting, and order-invariance
