QuantifierEliminationDoc.tioga
Dennis Arnon, January 14, 1988 11:24:33 am PST
QuantifierElimination
CEDAR 7.0 — FOR INTERNAL XEROX USE ONLY
QuantifierElimination
Dennis Arnon
© Copyright 1986 Xerox Corporation. All rights reserved.
Abstract: QuantifierElimination is a small package of mostly I/O routines for q.e. datatypes. It is created to enable revival of Jim Rauen's AlgebraicSurfaces package. As a new q.e. package is under design, this one is expected to have a short life.
Created by: Dennis Arnon
Maintained by: Dennis Arnon <Arnon.pa>
Keywords: Computer Algebra, Symbolic Mathematical Computation, Polynomials, Matrices, Object-Oriented Programming
XEROX   Xerox Corporation
    Palo Alto Research Center
    3333 Coyote Hill Road
    Palo Alto, California 94304

For Internal Xerox Use Only
1. Introduction