http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Quantifier elimination and cylindrical algebraic decomposition
Papers from a symposium held Oct. 6-8, 1993, at the Research Institute for Symbolic Computation in Linz, Austria.
Includes bibliographical references and index.
Texts and monographs in symbolic computation