Index of ftp://nozdr.ru/biblio/kolxoz/_Papers/Computer_algebra/Real alg. geometry, CAD

[DIR] Parent Directory

[ ] Abyhankar, Bajaj. Computation with algebraic curves (ISSAC1988)(L)(T)(6s).djvu  301.20Kb  December 18 2004  [find mirrors]
[ ] Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(140s).txt.bz2  197.33Kb  June 3 2004  [find mirrors]
[ ] Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(L)(T)(140s).djvu  3.10Mb  December 18 2004  [find mirrors]
[ ] Arnon D.S., Buchberger B. Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(K)(T)(278s).djvu  4.72Mb  December 18 2004  [find mirrors]
[ ] Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu  425.41Kb  December 18 2004  [find mirrors]
[ GZ] Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz  120.73Kb  June 3 2004  [find mirrors]
[ ] Gonzalez-Campos, Gonzalez-Vega. Computing the CAD adapted to a set of equalities(CASC2000)(L)(T)(8s).djvu  222.83Kb  December 18 2004  [find mirrors]
[ ] Hong H. Improvement of the projection operator in cylindrical algebraic decomposition (ISSAC90)(T)(4s).djvu  130.33Kb  December 18 2004  [find mirrors]
[ GZ] Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz  461.38Kb  June 3 2004  [find mirrors]
[ ] Teitelbaum. Complexity of resolution of plane curve singularities (ISSAC1988)(L)(T)(4s).djvu  171.79Kb  December 18 2004  [find mirrors]