共 16 条
[1]
Basu S., 2003, Algorithms Comput. Math., V10
[2]
De La Vallee Poussin C. J., 1929, J MATH PURE APPL, V8, P125
[4]
Grigoriev A., 2001, THESIS WEIZMANN I SC
[5]
GRIGORIEV A, MATHDS0305248
[6]
COMPLEXITY OF THE TARSKI-SEIDENBERG PRINCIPLE
[J].
BULLETIN DE LA SOCIETE MATHEMATIQUE DE FRANCE,
1990, 118 (01)
:101-126
[8]
LEVIN BY, 1980, T MAHT MONOGR, V5
[9]
MILNOR J, 1968, ANN MATH STUD, V61