-
1
-
-
0003546197
-
-
LOMI preprint E-9-83, E-10-83, Steklov Institute, Leningrad
-
Chistov A.L., Grigor'ev D.Y., Subexponential Time Solving Systems of Algebraic Equations, LOMI preprint E-9-83, E-10-83, Steklov Institute, Leningrad, 1983.
-
(1983)
Subexponential Time Solving Systems of Algebraic Equations
-
-
Chistov, A.L.1
Grigor'ev, D.Y.2
-
3
-
-
0000750175
-
Algorithmes - Disons rapides - Pour la décomposition d'une variété algébrique en composantes irréductibles et équidimensionnelles
-
Birkhäuser
-
Giusti M., Heintz J., Algorithmes - disons rapides - pour la décomposition d'une variété algébrique en composantes irréductibles et équidimensionnelles, Progress in Mathematics 94, Birkhäuser, 1991, pp. 169-193.
-
(1991)
Progress in Mathematics
, vol.94
, pp. 169-193
-
-
Giusti, M.1
Heintz, J.2
-
4
-
-
0000936391
-
La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial
-
Giusti M., Heintz J., La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial, Symposia Matematica XXXIV (1993) 216-256.
-
(1993)
Symposia Matematica
, vol.34
, pp. 216-256
-
-
Giusti, M.1
Heintz, J.2
-
5
-
-
0000627865
-
Definability and fast quantifier elimination in algebraically closed fields
-
Heintz J., Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci. 24 (1983) 239-277.
-
(1983)
Theoret. Comput. Sci.
, vol.24
, pp. 239-277
-
-
Heintz, J.1
-
7
-
-
0000697864
-
A computational method for diophantine aproximation
-
Krick T., Pardo L.M., A computational method for diophantine aproximation, Progress in Mathematics 143, 1996, pp. 193-253.
-
(1996)
Progress in Mathematics
, vol.143
, pp. 193-253
-
-
Krick, T.1
Pardo, L.M.2
-
10
-
-
0000874914
-
Bounds for traces in complete intersections and degrees in the Nullstellensatz
-
Sabia J., Solernó P., Bounds for traces in complete intersections and degrees in the Nullstellensatz, AAECC J. 6 (1995) 353-376.
-
(1995)
AAECC J.
, vol.6
, pp. 353-376
-
-
Sabia, J.1
Solernó, P.2
-
11
-
-
84976779342
-
Fast probabilistic algorithms for verification of polynomial identities
-
Schwartz J.T., Fast probabilistic algorithms for verification of polynomial identities, J. ACM. 27 (1980) 701-717.
-
(1980)
J. ACM.
, vol.27
, pp. 701-717
-
-
Schwartz, J.T.1
|