Dima Grigoriev
Dima Grigoriev
Directeur de recherche, CNRS, Lille
Dirección de correo verificada de math.univ-lille1.fr
Título
Citado por
Citado por
Año
Solving systems of polynomial inequalities in subexponential time.
NV D.Grigoriev
J. Symp. Comput 5, 37-64, 1988
4161988
Complexity of deciding Tarski algebra.
D Grigoriev
J. Symp. Comput 5, 65-108, 1988
2491988
Isomorphism of graphs with bounded eigenvalue multiplicity.
DM L.Babai, D.Grigoriev
14 ACM Symp. Th. Comput., 310-324, 1982
244*1982
Complexity of quantifier elimination in the theory of algebraically closed fields.
DG A.Chistov
Lecture Notes Computer Science 176, 17-31, 1984
1821984
Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity
D Grigoriev
Theoretical Computer Science 259 (1-2), 613-622, 2001
1692001
Fast parallel algorithms for sparse multivariate polynomial interpolation over finite fields
DY Grigoriev, M Karpinski, MF Singer
SIAM Journal on Computing 19 (6), 1059-1063, 1990
1631990
The matching problem for bipartite graphs with polynomially bounded permanents is in NC
DY Grigoriev, M Karpinski
28th Annual Symposium on Foundations of Computer Science (sfcs 1987), 166-172, 1987
1471987
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes.
TP D.Grigoriev, S.Buss, R.Impagliazzo
J. Comput. Syst. Sci. 62, 267-289, 2001
1182001
An exponential lower bound for depth 3 arithmetic circuits
D Grigoriev, M Karpinski
Proceedings of the thirtieth annual ACM symposium on Theory of computing …, 1998
1101998
Exponential Complexity Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields.
AR D.Grigoriev
Appl.Algebra in Eng.,Communic.,Comput, 465-487, 2000
105*2000
Exponential Complexity Lower Bounds for Depth 3 Arithmetic Circuits in Algebras of Functions over Finite Fields.
AR D.Grigoriev
Symp. Found.Comput.Sci, 269-278, 1998
105*1998
Complexity of semi-algebraic proofs
D Grigoriev, EA Hirsch, DV Pasechnik
Annual Symposium on Theoretical Aspects of Computer Science, 419-430, 2002
1032002
Complexity of factoring and GCD calculating of ordinary linear differential operators.
D Grigoriev
J. Symp. Comput. 10 (1), 7-37, 1990
102*1990
Subexponential time solving systems of algebraic equations
AL Chistov, DY Grigoriev
LOMI preprint E-9-83, E-10-83, Steklov Institute, Leningrad 15, 37-58, 1983
941983
Polynomial factoring over a finite field and solving systems of algebraic equations.
D Grigoriev
J. Soviet Math 34, 1762-1803, 1986
91*1986
Complexity of Null-and Positivstellensatz proofs
D Grigoriev, N Vorobjov
Annals of Pure and Applied Logic 113 (1-3), 153-160, 2001
872001
Counting connected components of a semialgebraic set in subexponential time.
NV D.Grigoriev
Computational Complexity 2 (2), 133-186, 1992
861992
Polynomial-time factoring of the multivariable polynomials over a global field.
DG A.Chistov
Preprint LOMI 82 (E-5), 1-39, 1982
83*1982
An application of separability and independence notions for proving lower bounds of circuit complexity.
D Grigoriev
J. Soviet Math 14 (5), 1450-1456, 1980
75*1980
An application of separability and independence notions for proving lower bounds of circuit complexity.
D Grigoriev
Scientific notes of seminars of LOMI 60, 38-48, 1976
75*1976
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20