Dima Grigoriev

Université de Lille - Lille / France

Engineering & Technology / Computer Science

AD Scientific Index ID: 5107435

University of Lille

Registration, Add Profile,
Premium Membership

Print Your Certificate

Dima Grigoriev's MOST POPULAR ARTICLES

1-) Solving systems of polynomial inequalities in subexponential time. NV D.Grigoriev J. Symp. Comput 5, 37-64, 1988 4591988

2-) Isomorphism of graphs with bounded eigenvalue multiplicity. DM L.Babai, D.Grigoriev 14 ACM Symp. Th. Comput., 310-324, 1982 271*1982

3-) Complexity of deciding Tarski algebra. D Grigoriev J. Symp. Comput 5, 65-108, 1988 2631988

4-) Linear lower bound on degrees of Positivstellensatz calculus proofs for the parityD GrigorievTheoretical Computer Science 259 (1-2), 613-622, 20012292001

5-) Complexity of quantifier elimination in the theory of algebraically closed fields.DG A.ChistovLecture Notes Computer Science 176, 17-31, 19842111984

ARTICLES

Add your articles