Quantifier Elimination

Duration: July 1992 - June 1994.
Director: George Collins.
Sponsored by: Austrian Science Foundation.
Goals: Numerous ideas for the continued practical improvement of the method of cylindrical algebraic decomposition for quantifier elimination will be pursued. The improvements will be continually incorporated into Hong's recent implementation of the method, evaluated and tested on numerous application areas. The technique of incremental computation, already successfully applied to the projection phase, will be applied also to other phases. The essential subalgorithms will be subjected to further study and improvement, and the application of Gröbner bases and characteristic sets to the projection phase will be studied.

Maintained by: The System Administration
Last Modification: March 7, 1997