хранилище/kolxo3/issue5─6/DVD12/_Papers/Computer_algebra/Real alg. geometry, CAD/
01 010763 Abyhankar, Bajaj. Computation with algebraic curves (ISSAC1988)(L)(T)(6s).djvu [request] 02-09-2013:02-47

02 010764 Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(140s).txt.bz2 [request] 02-09-2013:02-47

03 010765 Arnon D.S., Buchberger B. (eds.) Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(L)(T)(140s).djvu [request] 02-09-2013:02-47

04 010766 Arnon D.S., Buchberger B. Algorithms in real algebraic geometry (JSC 5, 1988. AP, 1988)(K)(T)(278s).djvu [request] 02-09-2013:02-47

05 010767 Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu [request] 02-09-2013:02-47

06 010768 Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz [request] 02-09-2013:02-47

07 010769 Gonzalez-Campos, Gonzalez-Vega. Computing the CAD adapted to a set of equalities(CASC2000)(L)(T)(8s).djvu [request] 02-09-2013:02-47

08 010770 Hong H. Improvement of the projection operator in cylindrical algebraic decomposition (ISSAC90)(T)(4s).djvu [request] 02-09-2013:02-47

09 010771 Sturm T. Real quantifier elimination in geometry (phd diss., 1999)(140s).ps.gz [request] 02-09-2013:02-47

10 010772 Teitelbaum. Complexity of resolution of plane curve singularities (ISSAC1988)(L)(T)(4s).djvu [request] 02-09-2013:02-47