[Indigo]<QuantifierElimination>DocumentationQuantifierEliminationDoc.tioga!1

QuantifierEliminationDoc.tioga

Dennis Arnon, January 14, 1988 11:24:33 am PST

QuantifierElimination

CEDAR 7.0 — FOR INTERNAL XEROX USE ONLY

QuantifierElimination

Dennis Arnon

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