Solving systems of polynomial inequalities in subexponential time. Zbl 0662.12001
Grigor’ev, D. Yu.; Vorobjov, N. N. jun. |
|
1988
|
Complexity of deciding Tarski algebra. Zbl 0689.03021
Grigor’ev, D. Yu. |
|
1988
|
Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity. Zbl 0974.68192
Grigoriev, D. |
|
2001
|
Complexity of Positivstellensatz proofs for the knapsack. Zbl 0992.68077
Grigoriev, D. |
|
2001
|
Fast parallel algorithms for sparse multivariate polynomial interpolation over finite fields. Zbl 0711.68059
Grigoriev, Dima Yu.; Karpinski, Marek; Singer, Michael F. |
|
1990
|
Complexity of Null- and Positivstellensatz proofs. Zbl 0992.03073
Grigoriev, Dima; Vorobjov, Nicolai |
|
2002
|
Linear gaps between degrees for the polynomial calculus modulo distinct primes. Zbl 1007.03052
Buss, Sam; Grigoriev, Dima; Impagliazzo, Russell; Pitassi, Toniann |
|
2001
|
Complexity of quantifier elimination in the theory of algebraically closed fields. Zbl 0562.03015
Chistov, A. L.; Grigor’ev, D. Yu. |
|
1984
|
Complexity of factoring and calculating the GCD of linear ordinary differential operators. Zbl 0728.68067
Grigor’ev, D. Yu. |
|
1990
|
Counting connected components of a semialgebraic set in subexponential time. Zbl 0900.68253
Grigor’ev, D. Yu.; Vorobjov, N. N. jun. |
|
1992
|
An exponential lower bound for depth 3 arithmetic circuits. Zbl 1028.68069
Grigoriev, Dima; Karpinski, Marek |
|
1998
|
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. Zbl 1349.92168
Errami, Hassan; Eiswirth, Markus; Grigoriev, Dima; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas |
|
2015
|
Solving ordinary differential equations in terms of series with real exponents. Zbl 0758.12004
Grigor’ev, D. Yu.; Singer, M. F. |
|
1991
|
Tropical cryptography. Zbl 1301.94114
Grigoriev, Dima; Shpilrain, Vladimir |
|
2014
|
Exponential lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields. Zbl 1040.68045
Grigoriev, D.; Razborov, A. |
|
2000
|
Complexity of semi-algebraic proofs. Zbl 1054.03035
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. |
|
2002
|
Factoring and solving linear partial differential equations. Zbl 1052.35008
Grigoriev, D.; Schwarz, F. |
|
2004
|
Polynomial-time factoring of the multivariable polynomials over a global field. Zbl 0509.68029
Chistov, A. L.; Grigor’ev, D. Yu. |
|
1982
|
Complexity of semialgebraic proofs. Zbl 1027.03044
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrij V. |
|
2002
|
Polynomial-time computing over quadratic maps i: sampling in real algebraic sets. Zbl 1082.14065
Grigoriev, Dima; Pasechnik, Dmitrii V. |
|
2005
|
Complexity of quantifier elimination in the theory of ordinary differential equations. Zbl 1209.68679
Grigor’ev, D. Yu. |
|
1989
|
An application of separability and independence notions for obtaining lower bounds of circuit complexity. Zbl 0341.94020
Grigor’ev, D. Ju. |
|
1976
|
Computational complexity of sparse rational interpolation. Zbl 0802.68060
Grigoriev, Dima; Karpinski, Marek; Singer, Michael F. |
|
1994
|
Complexity of solving tropical linear systems. Zbl 1282.68137
Grigoriev, Dima |
|
2013
|
On the power of real Turing machines over binary inputs. Zbl 0874.68110
Cucker, Felipe; Grigoriev, Dima |
|
1997
|
Factorization of polynomials over a finite field and solution of a system of algebraic equations. Zbl 0561.12011
Grigor’ev, D. Yu. |
|
1984
|
A zero-test and an interpolation algorithm for the shifted sparse polynomials. Zbl 0809.68072
Grigoriev, Dima; Karpinski, Marek |
|
1993
|
Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2. Zbl 1287.14004
Grigoriev, Dima; Milman, Pierre D. |
|
2012
|
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2017
|
Model reduction of biochemical reactions networks by tropical analysis methods. Zbl 1369.92047
Radulescu, O.; Vakulenko, S.; Grigoriev, D. |
|
2015
|
Complexity of tropical and MIN-plus linear prevarieties. Zbl 1326.15039
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2015
|
Fast decomposition of polynomials into irreducible ones and the solution of systems of algebraic equations. Zbl 0596.12021
Grigor’ev, D. Yu.; Chistov, A. L. |
|
1984
|
Factorization of polynomials over a finite field and the solution of systems of algebraic equations. Zbl 0596.12023
Grigor’ev, D. Yu. |
|
1986
|
Tropical cryptography. II: Extensions by homomorphisms. Zbl 1451.14179
Grigoriev, Dima; Shpilrain, Vladimir |
|
2019
|
Generalized Loewy-decomposition of \(D\)-modules. Zbl 1360.13061
Grigoriev, Dima; Schwarz, Fritz |
|
2005
|
Tropicalization and tropical equilibration of chemical reactions. Zbl 1320.92091
Noel, Vincent; Grigoriev, Dima; Vakulenko, Sergei; Radulescu, Ovidiu |
|
2014
|
Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. Zbl 1283.92043
Noel, Vincent; Grigoriev, Dima; Vakulenko, Sergei; Radulescu, Ovidiu |
|
2012
|
Algebraic proof systems over formulas. Zbl 1044.68146
Grigoriev, Dima; Hirsch, Edward A. |
|
2003
|
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2020
|
A complete public-key cryptosystem. Zbl 1158.94384
Grigoriev, Dima; Hirsch, Edward A.; Pervyshev, Konstantin |
|
2009
|
Weak Bézout inequality for D-modules. Zbl 1080.32010
Grigoriev, Dima |
|
2005
|
Effective Hironaka resolution and its complexity. Zbl 1315.14022
Bierstone, Edward; Grigoriev, Dima; Milman, Pierre; Włodarczyk, Jarosław |
|
2011
|
Additive complexity in directed computations. Zbl 0486.68028
Grigor’ev, D. Yu. |
|
1982
|
Semi-algebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? Zbl 07298230
Alekseev, Yaroslav; Grigoriev, Dima; Hirsch, Edward A.; Tzameret, Iddo |
|
2020
|
Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Zbl 1044.68946
Grigoriev, D. |
|
1997
|
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. Zbl 1455.92058
England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2017
|
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute. Zbl 1326.68354
Grigoriev, Dima; Vorobjov, Nicolai |
|
2000
|
Subtraction-free complexity, cluster transformations, and spanning trees. Zbl 1352.68104
Fomin, Sergey; Grigoriev, Dima; Koshevoy, Gleb |
|
2016
|
The interpolation problem for \(k\)-sparse sums of eigenfunctions of operators. Zbl 0785.12004
Grigoriev, Dima Yu.; Karpinski, Marek; Singer, Michael F. |
|
1991
|
Complexity lower bounds for computation trees with elementary transcendental function gates. Zbl 0877.68086
Grigoriev, D.; Vorobjov, N. |
|
1996
|
Authentication schemes from actions on graphs, groups, or rings. Zbl 1236.94076
Grigoriev, Dima; Shpilrain, Vladimir |
|
2010
|
Skyrmed monopoles. Zbl 0996.81059
Grigoriev, D. Yu.; Sutcliffe, P. M.; Tchrakian, D. H. |
|
2002
|
Authentication from matrix conjugation. Zbl 1191.94104
Grigoriev, Dima; Shpilrain, Vladimir |
|
2009
|
Tropical differential equations. Zbl 1348.14140
Grigoriev, Dima |
|
2017
|
Tropical effective primary and dual Nullstellensätze. Zbl 1356.14058
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2015
|
Loewy and primary decompositions of \(\mathcal D\)-modules. Zbl 1126.35008
Grigoriev, D.; Schwarz, F. |
|
2007
|
Computational complexity in polynomial algebra. Zbl 0667.68054
Grigor’ev, D. Yu. |
|
1987
|
A geometric method for model reduction of biochemical networks with polynomial rate functions. Zbl 1342.92079
Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Weber, Andreas; Radulescu, Ovidiu |
|
2015
|
Lower bounds in the algebraic computational complexity. Zbl 0504.68024
Grigor’ev, D. Yu. |
|
1982
|
Complexity of solving systems of linear equations over the rings of differential operators. Zbl 0749.16015
Grigor’ev, Dimitri Yu. |
|
1991
|
Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication. Zbl 0381.68045
Grigor’ev, D. Ju. |
|
1978
|
Tropical effective primary and dual Nullstellensätze. Zbl 1420.14140
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2018
|
Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates. Zbl 1412.34132
Errami, Hassan; Eiswirth, Markus; Grigoriev, Dima; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas |
|
2013
|
Complexity of tropical Schur polynomials. Zbl 1329.65060
Grigoriev, Dima; Koshevoy, Gleb |
|
2016
|
Complexity of a standard basis of a \(D\)-module. Zbl 1206.16050
Grigoriev, D. Yu.; Chistov, A. L. |
|
2009
|
An analogue of the Bruhat decomposition for the closure of the cone of a Chevalley group of the classical series. Zbl 0479.22003
Grigor’ev, D. Yu. |
|
1981
|
Complexity of solving systems with few independent monomials and applications to mass-action kinetics. Zbl 1373.68461
Grigoriev, Dima; Weber, Andreas |
|
2012
|
Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane. Zbl 0961.14039
Grigoriev, D.; Slissenko, A. |
|
1998
|
Algorithms for sparse rational interpolation. Zbl 0920.65004
Grigoriev, Dima Yu.; Karpinski, Marek |
|
1991
|
Finding connected components of a semialgebraic set in subexponential time. Zbl 0783.14036
Canny, J.; Grigor’ev, D. Yu.; Vorob’ev, N. N. jun. |
|
1992
|
Lower bounds in algebraic computational complexity. Zbl 0563.68040
Grigor’ev, D. Yu. |
|
1985
|
Linear gaps between degrees for the polynomial calculus modulo distinct primes. Zbl 1345.03105
Buss, Sam; Grigoriev, Dima; Impagliazzo, Russell; Pitassi, Toniann |
|
1999
|
Reduction methods and chaos for quadratic systems of differential equations. Zbl 1359.92036
Vakulenko, S.; Grigoriev, D.; Weber, A. |
|
2015
|
On a tropical dual Nullstellensatz. Zbl 1247.14067
Grigoriev, Dima |
|
2012
|
Analysis of reaction network systems using tropical geometry. Zbl 1400.92201
Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Radulescu, Ovidiu |
|
2015
|
Application of separability and independence notions for proving lower bounds of circuit complexity. Zbl 0449.94030
Grigor’ev, D. Yu. |
|
1980
|
Homomorphic public-key cryptosystems over groups and rings. Zbl 1149.94318
Grigoriev, Dima; Ponomarenko, Ilia |
|
2004
|
Lower bounds on testing membership to a polyhedron by algebraic decision trees. Zbl 1345.68158
Grigoriev, Dima; Karpinski, Marek; Vorobjov, Nicolai |
|
1994
|
Efficiently and effectively recognizing toricity of steady state varieties. Zbl 1495.14095
Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas |
|
2021
|
Imbedding theorems for Turing machines of different dimensions and Kolmogorov’s algorithms. Zbl 0386.03019
Grigor’ev, D. Ju. |
|
1977
|
Algorithms for computing sparse shifts for multivariate polynomials. Zbl 0924.68105
Grigoriev, Dima Yu.; Lakshman, Y. N. |
|
1995
|
Testing shift-equivalence of polynomials using quantum machines. Zbl 0928.68045
Grigoriev, D. |
|
1996
|
A lower bound for randomized algebraic decision trees. Zbl 0922.68090
Grigoriev, Dima; Karpinski, Marek; Meyer auf der Heide, Friedhelm; Smolensky, Roman |
|
1996
|
Computational complexity of sparse real algebraic function interpolation. Zbl 0801.68087
Grigoriev, D.; Karpinski, M.; Singer, M. F. |
|
1993
|
Public-key cryptography and invariant theory. Zbl 1081.94026
Grigoriev, D. |
|
2002
|
Complexity of gene circuits, Pfaffian functions and the morphogenesis problem. Zbl 1050.92003
Vakulenko, Sergey; Grigoriev, Dmitry |
|
2003
|
On the Eisenbud-Levine formula over a perfect field. Zbl 0514.55005
Grigor’ev, D. Yu.; Ivanov, N. V. |
|
1980
|
Topological complexity of the range searching. Zbl 0951.68024
Grigoriev, Dima |
|
2000
|
Homomorphic public-key cryptosystems and encrypting Boolean circuits. Zbl 1104.94022
Grigoriev, Dima; Ponomarenko, Ilia |
|
2006
|
Algorithms for computing sparse shifts for multivariate polynomials. Zbl 0968.68199
Grigoriev, Dima Yu.; Lakshman, Y. N. |
|
2000
|
The complexity of the decision problem for the first order theory of algebraically closed fields. Zbl 0631.03006
Grigor’ev, D. Yu. |
|
1987
|
Bounds on the number of connected components for tropical prevarieties. Zbl 1401.14235
Davydow, Alex; Grigoriev, Dima |
|
2017
|
Algebraic cryptography: new constructions and their security against provable break. Zbl 1206.94069
Grigoriev, D.; Kojevnikov, A.; Nikolenko, S. J. |
|
2009
|
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon. Zbl 1075.68090
Burago, D.; Grigoriev, D.; Slissenko, A. |
|
2004
|
Complexity of ”wild” matrix problems and of isomorphism of algebras and graphs. Zbl 0509.68030
Grigor’ev, D. Yu. |
|
1983
|
Counting connected components of a semi-algebraic set in single exponential time.
(Comptage des composantes connexes d’un ensemble semi-algébrique en temps simplement exponentiel.) Zbl 0752.14043
Grigor’ev, Dima Yurevitch; Heintz, Joos; Roy, Marie-Françoise; Solernó, Pablo; Vorobjov, Nicolai Nicolaievitch jun. |
|
1990
|
Exponential lower bound for static semi-algebraic proofs. Zbl 1056.03037
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. |
|
2002
|
Improved lower bound on testing membership to a polyhedron by algebraic decision trees. Zbl 0938.68868
Grigoriev, Dima; Karpinski, Marek; Vorobjov, Nicolai |
|
1995
|
An exponential lower bound on the size of algebraic decision trees for MAX. Zbl 0918.68032
Grigoriev, Dima; Karpinski, Marek; Yao, Andrew C. |
|
1998
|
Loewy decomposition of third-order linear aPDE’s in the plane. Zbl 1489.12020
Grigoriev, Dima; Schwarz, Fritz |
|
2008
|
Excitable media store and transfer complicated information via topological defect motion. Zbl 1501.35133
Sudakow, Ivan; Vakulenko, Sergey A.; Grigoriev, Dima |
|
2023
|
On a tropical version of the Jacobian conjecture. Zbl 1471.14128
Grigoriev, Dima; Radchenko, Danylo |
|
2022
|
Efficiently and effectively recognizing toricity of steady state varieties. Zbl 1495.14095
Grigoriev, Dima; Iosif, Alexandru; Rahkooy, Hamid; Sturm, Thomas; Weber, Andreas |
|
2021
|
Complexity of deciding whether a tropical linear prevariety is a tropical variety. Zbl 1462.14059
Grigoriev, Dima; Vorobjov, Nicolai |
|
2021
|
Identifying the parametric occurrence of multiple steady states for some biological networks. Zbl 1442.92056
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2020
|
Semi-algebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? Zbl 07298230
Alekseev, Yaroslav; Grigoriev, Dima; Hirsch, Edward A.; Tzameret, Iddo |
|
2020
|
Tropical recurrent sequences. Zbl 1441.14204
Grigoriev, Dima |
|
2020
|
Tropical combinatorial Nullstellensatz and sparse polynomials. Zbl 1455.14126
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2020
|
Tropical cryptography. II: Extensions by homomorphisms. Zbl 1451.14179
Grigoriev, Dima; Shpilrain, Vladimir |
|
2019
|
Tropical effective primary and dual Nullstellensätze. Zbl 1420.14140
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2018
|
Tropical Newton-Puiseux polynomials. Zbl 1453.14148
Grigoriev, Dima |
|
2018
|
On semiring complexity of Schur polynomials. Zbl 1408.68072
Fomin, Sergey; Grigoriev, Dima; Nogneng, Dorian; Schost, Éric |
|
2018
|
Orthogonal tropical linear prevarieties. Zbl 1453.14147
Grigoriev, Dima; Vorobjov, Nicolai |
|
2018
|
Upper bounds on Betti numbers of tropical prevarieties. Zbl 1420.14141
Grigoriev, Dima; Vorobjov, Nicolai |
|
2018
|
A case study on the parametric occurrence of multiple steady states. Zbl 1444.92034
Bradford, Russell; Davenport, James H.; England, Matthew; Errami, Hassan; Gerdt, Vladimir; Grigoriev, Dima; Hoyt, Charles; Košta, Marek; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2017
|
Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. Zbl 1455.92058
England, Matthew; Errami, Hassan; Grigoriev, Dima; Radulescu, Ovidiu; Sturm, Thomas; Weber, Andreas |
|
2017
|
Tropical differential equations. Zbl 1348.14140
Grigoriev, Dima |
|
2017
|
Bounds on the number of connected components for tropical prevarieties. Zbl 1401.14235
Davydow, Alex; Grigoriev, Dima |
|
2017
|
Tropical combinatorial Nullstellensatz and fewnomials testing. Zbl 1497.14125
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2017
|
Subtraction-free complexity, cluster transformations, and spanning trees. Zbl 1352.68104
Fomin, Sergey; Grigoriev, Dima; Koshevoy, Gleb |
|
2016
|
Complexity of tropical Schur polynomials. Zbl 1329.65060
Grigoriev, Dima; Koshevoy, Gleb |
|
2016
|
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. Zbl 1349.92168
Errami, Hassan; Eiswirth, Markus; Grigoriev, Dima; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas |
|
2015
|
Model reduction of biochemical reactions networks by tropical analysis methods. Zbl 1369.92047
Radulescu, O.; Vakulenko, S.; Grigoriev, D. |
|
2015
|
Complexity of tropical and MIN-plus linear prevarieties. Zbl 1326.15039
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2015
|
Tropical effective primary and dual Nullstellensätze. Zbl 1356.14058
Grigoriev, Dima; Podolskii, Vladimir V. |
|
2015
|
A geometric method for model reduction of biochemical networks with polynomial rate functions. Zbl 1342.92079
Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Weber, Andreas; Radulescu, Ovidiu |
|
2015
|
Reduction methods and chaos for quadratic systems of differential equations. Zbl 1359.92036
Vakulenko, S.; Grigoriev, D.; Weber, A. |
|
2015
|
Analysis of reaction network systems using tropical geometry. Zbl 1400.92201
Samal, Satya Swarup; Grigoriev, Dima; Fröhlich, Holger; Radulescu, Ovidiu |
|
2015
|
Algorithms to study large metabolic network dynamics. Zbl 1331.34087
Grigoriev, D.; Samal, S. S.; Vakulenko, S.; Weber, A. |
|
2015
|
Polynomial complexity recognizing a tropical linear variety. Zbl 1439.14175
Grigoriev, Dima |
|
2015
|
Tropical cryptography. Zbl 1301.94114
Grigoriev, Dima; Shpilrain, Vladimir |
|
2014
|
Tropicalization and tropical equilibration of chemical reactions. Zbl 1320.92091
Noel, Vincent; Grigoriev, Dima; Vakulenko, Sergei; Radulescu, Ovidiu |
|
2014
|
Yao’s millionaires’ problem and decoy-based public key encryption by classical physics. Zbl 1302.94049
Grigoriev, Dima; Shpilrain, Vladimir |
|
2014
|
Complexity of solving tropical linear systems. Zbl 1282.68137
Grigoriev, Dima |
|
2013
|
Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates. Zbl 1412.34132
Errami, Hassan; Eiswirth, Markus; Grigoriev, Dima; Seiler, Werner M.; Sturm, Thomas; Weber, Andreas |
|
2013
|
Secrecy without one-way functions. Zbl 1290.94080
Grigoriev, Dima; Shpilrain, Vladimir |
|
2013
|
Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2. Zbl 1287.14004
Grigoriev, Dima; Milman, Pierre D. |
|
2012
|
Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. Zbl 1283.92043
Noel, Vincent; Grigoriev, Dima; Vakulenko, Sergei; Radulescu, Ovidiu |
|
2012
|
Complexity of solving systems with few independent monomials and applications to mass-action kinetics. Zbl 1373.68461
Grigoriev, Dima; Weber, Andreas |
|
2012
|
On a tropical dual Nullstellensatz. Zbl 1247.14067
Grigoriev, Dima |
|
2012
|
No-leak authentication by the Sherlock Holmes method. Zbl 1272.94081
Grigoriev, Dima; Shpilrain, Vladimir |
|
2012
|
Effective Hironaka resolution and its complexity. Zbl 1315.14022
Bierstone, Edward; Grigoriev, Dima; Milman, Pierre; Włodarczyk, Jarosław |
|
2011
|
Authentication schemes from actions on graphs, groups, or rings. Zbl 1236.94076
Grigoriev, Dima; Shpilrain, Vladimir |
|
2010
|
A low complexity probabilistic test for integer multiplication. Zbl 1196.68104
Grigoriev, Dima; Tenenbaum, Gérald |
|
2010
|
A complete public-key cryptosystem. Zbl 1158.94384
Grigoriev, Dima; Hirsch, Edward A.; Pervyshev, Konstantin |
|
2009
|
Authentication from matrix conjugation. Zbl 1191.94104
Grigoriev, Dima; Shpilrain, Vladimir |
|
2009
|
Complexity of a standard basis of a \(D\)-module. Zbl 1206.16050
Grigoriev, D. Yu.; Chistov, A. L. |
|
2009
|
Algebraic cryptography: new constructions and their security against provable break. Zbl 1206.94069
Grigoriev, D.; Kojevnikov, A.; Nikolenko, S. J. |
|
2009
|
Analogue of Newton-Puiseux series for non-holonomic \(D\)-modules and factoring. Zbl 1187.35020
Grigoriev, Dima |
|
2009
|
Loewy decomposition of third-order linear aPDE’s in the plane. Zbl 1489.12020
Grigoriev, Dima; Schwarz, Fritz |
|
2008
|
Loewy and primary decompositions of \(\mathcal D\)-modules. Zbl 1126.35008
Grigoriev, D.; Schwarz, F. |
|
2007
|
Homomorphic public-key cryptosystems and encrypting Boolean circuits. Zbl 1104.94022
Grigoriev, Dima; Ponomarenko, Ilia |
|
2006
|
Constructions in public-key cryptography over matrix groups. Zbl 1207.94053
Grigoriev, Dima; Ponomarenko, Ilia |
|
2006
|
Algorithms and complexity in biological pattern formation problems. Zbl 1094.92008
Grigoriev, D.; Vakulenko, S. |
|
2006
|
Polynomial-time computing over quadratic maps i: sampling in real algebraic sets. Zbl 1082.14065
Grigoriev, Dima; Pasechnik, Dmitrii V. |
|
2005
|
Generalized Loewy-decomposition of \(D\)-modules. Zbl 1360.13061
Grigoriev, Dima; Schwarz, Fritz |
|
2005
|
Weak Bézout inequality for D-modules. Zbl 1080.32010
Grigoriev, Dima |
|
2005
|
Factoring and solving linear partial differential equations. Zbl 1052.35008
Grigoriev, D.; Schwarz, F. |
|
2004
|
Homomorphic public-key cryptosystems over groups and rings. Zbl 1149.94318
Grigoriev, Dima; Ponomarenko, Ilia |
|
2004
|
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon. Zbl 1075.68090
Burago, D.; Grigoriev, D.; Slissenko, A. |
|
2004
|
Algebraic proof systems over formulas. Zbl 1044.68146
Grigoriev, Dima; Hirsch, Edward A. |
|
2003
|
Complexity of gene circuits, Pfaffian functions and the morphogenesis problem. Zbl 1050.92003
Vakulenko, Sergey; Grigoriev, Dmitry |
|
2003
|
Complexity of Null- and Positivstellensatz proofs. Zbl 0992.03073
Grigoriev, Dima; Vorobjov, Nicolai |
|
2002
|
Complexity of semi-algebraic proofs. Zbl 1054.03035
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. |
|
2002
|
Complexity of semialgebraic proofs. Zbl 1027.03044
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrij V. |
|
2002
|
Skyrmed monopoles. Zbl 0996.81059
Grigoriev, D. Yu.; Sutcliffe, P. M.; Tchrakian, D. H. |
|
2002
|
Public-key cryptography and invariant theory. Zbl 1081.94026
Grigoriev, D. |
|
2002
|
Exponential lower bound for static semi-algebraic proofs. Zbl 1056.03037
Grigoriev, Dima; Hirsch, Edward A.; Pasechnik, Dmitrii V. |
|
2002
|
On non-Abelian homomorphic public-key cryptosystems. Zbl 1081.94027
Grigoriev, D.; Ponomarenko, I. |
|
2002
|
Approximation and complexity. II: Iterated integration. Zbl 1020.68041
Grigoriev, Dima |
|
2002
|
Linear lower bound on degrees of Positivstellensatz calculus proofs for the parity. Zbl 0974.68192
Grigoriev, D. |
|
2001
|
Complexity of Positivstellensatz proofs for the knapsack. Zbl 0992.68077
Grigoriev, D. |
|
2001
|
Linear gaps between degrees for the polynomial calculus modulo distinct primes. Zbl 1007.03052
Buss, Sam; Grigoriev, Dima; Impagliazzo, Russell; Pitassi, Toniann |
|
2001
|
Approximation and complexity: Liouvillean-type theorems for linear differential equations on an interval. Zbl 1001.12007
Grigoriev, Dima |
|
2001
|
There are no sparse NP\(_{w}\)-hard sets. Zbl 0992.68061
Cucker, Felipe; Grigoriev, Dima |
|
2001
|
Constructing double-exponential number of vectors of multiplicities of solutions of polynomial systems. Zbl 1050.68048
Grigoriev, Dima |
|
2001
|
Nikolai Aleksandrovich Shanin (on his 80th birthday). Zbl 1017.01517
Vsemirnov, M. A.; Girsh, È. A.; Grigor’ev, D. Yu.; Davydov, G. V.; Dantsin, E. Ya.; Ivanov, A. A.; Konev, B. Yu.; Lifshits, V. A.; Matiyasevich, Yu. V.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. |
|
2001
|
Exponential lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields. Zbl 1040.68045
Grigoriev, D.; Razborov, A. |
|
2000
|
Bounds on numers of vectors of multiplicities for polynomials which are easy to compute. Zbl 1326.68354
Grigoriev, Dima; Vorobjov, Nicolai |
|
2000
|
Topological complexity of the range searching. Zbl 0951.68024
Grigoriev, Dima |
|
2000
|
Algorithms for computing sparse shifts for multivariate polynomials. Zbl 0968.68199
Grigoriev, Dima Yu.; Lakshman, Y. N. |
|
2000
|
Linear gaps between degrees for the polynomial calculus modulo distinct primes. Zbl 1345.03105
Buss, Sam; Grigoriev, Dima; Impagliazzo, Russell; Pitassi, Toniann |
|
1999
|
Complexity lower bounds for approximation algebraic computation trees. Zbl 0959.68143
Cucker, Felipe; Grigoriev, Dima |
|
1999
|
Randomized complexity lower bound for arrangements and polyhedra. Zbl 0936.68047
Grigoriev, D. |
|
1999
|
An exponential lower bound for depth 3 arithmetic circuits. Zbl 1028.68069
Grigoriev, Dima; Karpinski, Marek |
|
1998
|
Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane. Zbl 0961.14039
Grigoriev, D.; Slissenko, A. |
|
1998
|
An exponential lower bound on the size of algebraic decision trees for MAX. Zbl 0918.68032
Grigoriev, Dima; Karpinski, Marek; Yao, Andrew C. |
|
1998
|
Randomized complexity lower bounds. Zbl 1027.68608
Grigoriev, D. |
|
1998
|
On the power of real Turing machines over binary inputs. Zbl 0874.68110
Cucker, Felipe; Grigoriev, Dima |
|
1997
|
Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines. Zbl 1044.68946
Grigoriev, D. |
|
1997
|
Lower bound on testing membership to a polyhedron by algebraic decision and computation trees. Zbl 0871.68176
Grigoriev, D.; Karpinski, M.; Vorobjov, N. |
|
1997
|
Nearly sharp complexity bounds for multiprocessor algebraic computations. Zbl 0872.68053
Grigoriev, Dima |
|
1997
|
A lower bound for randomized algebraic decision trees. Zbl 0895.68049
Grigoriev, Dima; Karpinski, Marek; Meyer auf der Heide, Friedhelm; Smolensky, Roman |
|
1997
|
Randomization and the computational power of analytic and algebraic decision trees. Zbl 0895.68050
Grigoriev, Dima; Karpinski, Marek; Smolensky, Roman |
|
1997
|
Complexity lower bounds for computation trees with elementary transcendental function gates. Zbl 0877.68086
Grigoriev, D.; Vorobjov, N. |
|
1996
|
Testing shift-equivalence of polynomials using quantum machines. Zbl 0928.68045
Grigoriev, D. |
|
1996
|
A lower bound for randomized algebraic decision trees. Zbl 0922.68090
Grigoriev, Dima; Karpinski, Marek; Meyer auf der Heide, Friedhelm; Smolensky, Roman |
|
1996
|
NC solving of a system of linear ordinary differential equations in several unknowns. Zbl 0871.68096
Grigoriev, D. |
|
1996
|
Computability of the additive complexity of algebraic circuits with root extracting. Zbl 0871.68085
Grigoriev, Dima; Karpinski, Marek |
|
1996
|
Testing the shift-equivalence of polynomials using quantum machines. Zbl 0999.12017
Grigoriev, D. |
|
1996
|
...and 57 more Documents |