MathSciNet Relay Station
MathSciNet bibliographic data
MR1634186 03-06 (03B25 03C10 03C60 03C62 12L05 68Q40)
Quantifier elimination and cylindrical algebraic decomposition. Proceedings of the symposium held at the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, October 6–8, 1993. Edited by B. F. Caviness and J. R. Johnson. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1998. xx+431 pp. ISBN: 3-211-82794-3
For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page

American Mathematical Society American Mathematical Society
201 Charles Street
Providence, RI 02904-6248 USA
© Copyright 2017, American Mathematical Society
Privacy Statement