+
|
A tropical version of Hilbert polynomial (in dimension one)
|
2024
|
Nikita Elizarov
Dima Grigoriev
|
+
|
Semialgebraic Proofs, IPS Lower Bounds, and the \(\boldsymbol{\tau}\)-Conjecture: Can a Natural Number be Negative?
|
2024
|
Yaroslav Alekseev
Dima Grigoriev
Edward Hirsch
Iddo Tzameret
|
+
PDF
Chat
|
A tropical version of Hilbert function
|
2024
|
Dima Grigoriev
|
+
PDF
Chat
|
A criterion of containment for tropical hypersurfaces
|
2024
|
Dima Grigoriev
|
+
PDF
Chat
|
Digital signature schemes using non-square matrices or scrap automorphisms
|
2024
|
Jiale Chen
Dima Grigoriev
Vladimir Shpilrain
|
+
|
The entropy of the radical ideal of a tropical curve
|
2023
|
Dima Grigoriev
|
+
|
Digital signature schemes using non-square matrices or scrap automorphisms
|
2023
|
Jiale Chen
Dima Grigoriev
Vladimir Shpilrain
|
+
|
BASS: Boolean Automorphisms Signature Scheme
|
2023
|
Dima Grigoriev
Ilia Ilmer
Alexey Ovchinnikov
Vladimir Shpilrain
|
+
|
Tropical cryptography III: digital signatures
|
2023
|
Jiale Chen
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Identifying Markov chain models from time-to-event data: an algebraic approach
|
2023
|
Ovidiu Radulescu
Dima Grigoriev
Matthias SeiĂ
Maria Douaihy
Mounia Lagha
Ădouard Bertrand
|
+
PDF
Chat
|
Tropical Newton-Puiseux polynomials II
|
2022
|
Dima Grigoriev
|
+
PDF
Chat
|
Entropy of tropical holonomic sequences
|
2021
|
Dima Grigoriev
|
+
|
A tropical version of Hilbert polynomial (in dimension one)
|
2021
|
Nikita Elizarov
Dima Grigoriev
|
+
|
Tropical Newton-Puiseux polynomials II
|
2021
|
Dima Grigoriev
|
+
|
Probability theory and public-key cryptography
|
2020
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
RSA and redactable blockchains
|
2020
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Efficiently and Effectively Recognizing Toricity of Steady State Varieties
|
2020
|
Dima Grigoriev
Alexandru Iosif
Hamid Rahkooy
Thomas Sturm
Andreas Weberâ
|
+
PDF
Chat
|
On a tropical version of the Jacobian conjecture
|
2020
|
Dima Grigoriev
Danylo Radchenko
|
+
|
Probability theory and public-key cryptography
|
2020
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Entropy of tropical holonomic sequences
|
2020
|
Dima Grigoriev
|
+
PDF
Chat
|
Tropical recurrent sequences
|
2020
|
Dima Grigoriev
|
+
PDF
Chat
|
Decomposing tropical rational functions
|
2020
|
Dima Grigoriev
|
+
PDF
Chat
|
Probabilistic Solution of Yaoâs Millionairesâ Problem
|
2020
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
RSA AND REDACTABLE BLOCKCHAINS
|
2020
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Entropy of radical ideal of a tropical prevariety
|
2020
|
Dima Grigoriev
|
+
|
Probability theory and public-key cryptography
|
2020
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Entropy of tropical holonomic sequences
|
2020
|
Dima Grigoriev
|
+
|
RSA and redactable blockchains
|
2020
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Tropical recurrent sequences
|
2020
|
Dima Grigoriev
|
+
|
Complexity of deciding whether a tropical linear prevariety is a tropical variety
|
2019
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Semi-Algebraic Proofs, IPS Lower Bounds and the $\tau$-Conjecture: Can a Natural Number be Negative?
|
2019
|
Yaroslav Alekseev
Dima Grigoriev
Edward Hirsch
Iddo Tzameret
|
+
PDF
Chat
|
Tropical Combinatorial Nullstellensatz and Sparse Polynomials
|
2019
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
PDF
Chat
|
KEY AGREEMENT BASED ON AUTOMATON GROUPS
|
2019
|
Rostislav Grigorchuk
Dima Grigoriev
|
+
|
Key agreement based on automaton groups
|
2019
|
Rostislav Grigorchuk
Dima Grigoriev
|
+
|
Identifying the parametric occurrence of multiple steady states for some biological networks
|
2019
|
Russell Bradford
James H. Davenport
Matthew England
Hassan Errami
Vladimir P. Gerdt
Dima Grigoriev
Charles Tapley Hoyt
Marek KoĆĄta
Ovidiu Radulescu
Thomas Sturm
|
+
|
Decomposing tropical rational functions
|
2019
|
Dima Grigoriev
|
+
PDF
Chat
|
Tropical cryptography II: Extensions by homomorphisms
|
2019
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Key-agreement based on automaton groups
|
2019
|
Rostislav Grigorchuk
Dima Grigoriev
|
+
|
Decomposing tropical rational functions
|
2019
|
Dima Grigoriev
|
+
|
Semi-Algebraic Proofs, IPS Lower Bounds and the $Ï$-Conjecture: Can a Natural Number be Negative?
|
2019
|
Yaroslav Alekseev
Dima Grigoriev
Edward Hirsch
Iddo Tzameret
|
+
|
On semiring complexity of Schur polynomials
|
2018
|
Sergey Fomin
Dima Grigoriev
Dorian Nogneng
Ăric Schost
|
+
PDF
Chat
|
Upper Bounds on Betti Numbers of Tropical Prevarieties
|
2018
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Orthogonal tropical linear prevarieties
|
2018
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Complexity of deciding whether a tropical linear prevariety is a tropical variety
|
2018
|
Dima Grigoriev
Nicolai Vorobjov
|
+
PDF
Chat
|
Tropical Effective Primary and Dual NullstellensÀtze
|
2018
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
PDF
Chat
|
Tropical NewtonâPuiseux Polynomials
|
2018
|
Dima Grigoriev
|
+
|
Tropical cryptography II: extensions by homomorphisms.
|
2018
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
ON SEMIRING COMPLEXITY OF SCHUR POLYNOMIALS
|
2018
|
Sergey Fomin
Dima Grigoriev
Dorian Nogneng
Ăric Schost
|
+
|
Orthogonal Tropical Linear Prevarieties
|
2018
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Tropical recurrent sequences
|
2018
|
Dima Grigoriev
|
+
|
Complexity of deciding whether a tropical linear prevariety is a tropical variety
|
2018
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Probabilistic solution of Yao's millionaires' problem
|
2017
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Upper bounds on Betti numbers of tropical prevarieties
|
2017
|
Dima Grigoriev
Nicolai Vorobjov
|
+
PDF
Chat
|
A Case Study on the Parametric Occurrence of Multiple Steady States
|
2017
|
Russell Bradford
James H. Davenport
Matthew England
Hassan Errami
Vladimir P. Gerdt
Dima Grigoriev
Charles Tapley Hoyt
Marek KoĆĄta
Ovidiu Radulescu
Thomas Sturm
|
+
|
Tropical Combinatorial Nullstellensatz and Sparse Polynomials
|
2017
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
|
Tropical Combinatorial Nullstellensatz and Fewnomials Testing
|
2017
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
|
Dataset Supporting The Paper: "A Case Study On The Parametric Occurrence Of Multiple Steady States"
|
2017
|
Russell Bradford
James H. Davenport
Matthew England
Hassan Errami
Vladimir P. Gerdt
Dima Grigoriev
Charles Tapley Hoyt
Marek KoĆĄta
Ovidiu Radulescu
Thomas Sturm
|
+
|
Dataset Supporting The Paper: "A Case Study On The Parametric Occurrence Of Multiple Steady States"
|
2017
|
Russell Bradford
James H. Davenport
Matthew England
Hassan Errami
Vladimir P. Gerdt
Dima Grigoriev
Charles Tapley Hoyt
Marek KoĆĄta
Ovidiu Radulescu
Thomas Sturm
|
+
|
Tropical Newton-Puiseux polynomials
|
2017
|
Dima Grigoriev
|
+
PDF
Chat
|
TROPICAL DIFFERENTIAL EQUATIONS
|
2017
|
Dima Grigoriev
|
+
|
Tropical Combinatorial Nullstellensatz and Fewnomials Testing
|
2017
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
PDF
Chat
|
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
|
2017
|
Matthew England
Hassan Errami
Dima Grigoriev
Ovidiu Radulescu
Thomas Sturm
Andreas Weberâ
|
+
|
Upper bounds on Betti numbers of tropical prevarieties
|
2017
|
Dima Grigoriev
Nicolai Vorobjov
|
+
PDF
Chat
|
TROPICAL DIFFERENTIAL EQUATIONS
|
2017
|
Dima Grigoriev
|
+
|
Tropical Newton-Puiseux polynomials
|
2017
|
Dima Grigoriev
|
+
|
Probabilistic solution of Yao's millionaires' problem
|
2017
|
Mariya Bessonov
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Tropical Combinatorial Nullstellensatz and Sparse Polynomials
|
2017
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
|
Bounds on the Number of Connected Components for Tropical Prevarieties
|
2016
|
Alex Davydow
Dima Grigoriev
|
+
|
Tropical differential equations
|
2016
|
Dima Grigoriev
|
+
|
On semiring complexity of Schur polynomials
|
2016
|
Sergey Fomin
Dima Grigoriev
Dorian Nogneng
Ăric Schost
|
+
PDF
Chat
|
Complexity of tropical Schur polynomials
|
2016
|
Dima Grigoriev
Gleb Koshevoy
|
+
PDF
Chat
|
Complexity of tropical Schur polynomials
|
2016
|
Dima Grigoriev
Gleb Koshevoy
|
+
PDF
Chat
|
A Geometric Method for Model Reduction of Biochemical Networks with Polynomial Rate Functions
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Andreas Weberâ
Ovidiu Radulescu
|
+
|
Geometric analysis of pathways dynamics: application to versatility of TGF-{\beta} receptors
|
2015
|
Satya Swarup Samal
Aurélien Naldi
Dima Grigoriev
Andreas Weberâ
Nathalie Théret
Ovidiu Radulescu
|
+
|
A geometric method for model reduction of biochemical networks with polynomial rate functions
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Andreas Weberâ
Ovidiu Radulescu
|
+
|
Analysis of Reaction Network Systems Using Tropical Geometry
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Ovidiu Radulescu
|
+
|
Complexity of tropical Schur polynomials
|
2015
|
Dima Grigoriev
Gleb Koshevoy
|
+
|
Symbolic dynamics of biochemical pathways as finite states machines
|
2015
|
Ovidiu Radulescu
Satya Swarup Samal
Aurélien Naldi
Dima Grigoriev
Andreas Weberâ
|
+
|
Model reduction of biochemical reactions networks by tropical analysis methods
|
2015
|
Ovidiu Radulescu
S. A. Vakulenko
Dima Grigoriev
|
+
PDF
Chat
|
Polynomial Complexity Recognizing a Tropical Linear Variety
|
2015
|
Dima Grigoriev
|
+
PDF
Chat
|
Symbolic Dynamics of Biochemical Pathways as Finite States Machines
|
2015
|
Ovidiu Radulescu
Satya Swarup Samal
Aurélien Naldi
Dima Grigoriev
Andreas Weberâ
|
+
|
Computing Highest-Order Divisors for a Class of Quasi-Linear Partial Differential Equations
|
2015
|
Dima Grigoriev
Fritz Schwarz
|
+
PDF
Chat
|
Analysis of Reaction Network Systems Using Tropical Geometry
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Ovidiu Radulescu
|
+
|
Tropical Effective Primary and Dual Nullstellens"atze
|
2015
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
|
Symbolic dynamics of biochemical pathways as finite states machines
|
2015
|
Ovidiu Radulescu
Satya Swarup Samal
Aurélien Naldi
Dima Grigoriev
Andreas Weber
|
+
|
A geometric method for model reduction of biochemical networks with polynomial rate functions
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Andreas P.M. Weber
Ovidiu Radulescu
|
+
|
Analysis of Reaction Network Systems Using Tropical Geometry
|
2015
|
Satya Swarup Samal
Dima Grigoriev
Holger Fröhlich
Ovidiu Radulescu
|
+
|
Model reduction of biochemical reactions networks by tropical analysis methods
|
2015
|
Ovidiu Radulescu
Sergei B. Vakulenko
Dima Grigoriev
|
+
|
Tropical differential equations
|
2015
|
Dima Grigoriev
|
+
|
Geometric analysis of pathways dynamics: application to versatility of TGF-ÎČ receptors
|
2015
|
Satya Swarup Samal
Aurélien Naldi
Dima Grigoriev
Andreas Weberâ
Nathalie Théret
Ovidiu Radulescu
|
+
PDF
Chat
|
Subtraction-Free Complexity, Cluster Transformations, and Spanning Trees
|
2014
|
Sergey Fomin
Dima Grigoriev
Gleb Koshevoy
|
+
|
YAO'S MILLIONAIRES' PROBLEM AND DECOY-BASED PUBLIC KEY ENCRYPTION BY CLASSICAL PHYSICS
|
2014
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Tensor Rank: Matching Polynomials and Schur Rings
|
2014
|
Dima Grigoriev
Mikhail Muzychuk
Ilia Ponomarenko
|
+
PDF
Chat
|
Tropicalization and tropical equilibration of chemical reactions
|
2014
|
Vincent Noël
Dima Grigoriev
S. A. Vakulenko
Ovidiu Radulescu
|
+
|
Tropical Effective Primary and Dual NullstellensÀtze
|
2014
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
PDF
Chat
|
Complexity of Tropical and Min-plus Linear Prevarieties
|
2013
|
Dima Grigoriev
Vladimir V. Podolskii
|
+
|
Yao's millionaires' problem and decoy-based public key encryption by classical physics
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Yao's millionaires' problem and decoy-based public key encryption by
classical physics
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Subtraction-free complexity and cluster transformations.
|
2013
|
Sergey Fomin
Dima Grigoriev
Gleb Koshevoy
|
+
|
Tropicalization and tropical equilibration of chemical reactions
|
2013
|
Vincent Noël
Dima Grigoriev
S. A. Vakulenko
Ovidiu Radulescu
|
+
|
SECRECY WITHOUT ONE-WAY FUNCTIONS
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Complexity of Solving Tropical Linear Systems
|
2013
|
Dima Grigoriev
|
+
|
Complexity in Tropical Algebra (Invited Talk)
|
2013
|
Dima Grigoriev
|
+
|
Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates
|
2013
|
Hassan Errami
M. Eiswirth
Dima Grigoriev
Werner M. Seiler
Thomas Sturm
Andreas Weberâ
|
+
PDF
Chat
|
Computing Divisors and Common Multiples of Quasi-linear Ordinary Differential Equations
|
2013
|
Dima Grigoriev
Fritz Schwarz
|
+
PDF
Chat
|
Polynomial Complexity of Solving Systems of Few Algebraic Equations with Small Degrees
|
2013
|
Dima Grigoriev
|
+
PDF
Chat
|
Secrecy without one-way functions
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Tropicalization and tropical equilibration of chemical reactions
|
2013
|
Vincent Noël
Dima Grigoriev
Sergei B. Vakulenko
Ovidiu Radulescu
|
+
|
Secrecy without one-way functions
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Complexity of solving tropical linear systems
|
2013
|
Dima Grigoriev
|
+
|
Yao's millionaires' problem and decoy-based public key encryption by classical physics
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Tropical cryptography
|
2013
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2
|
2012
|
Dima Grigoriev
Pierre D. Milman
|
+
|
Universal stratifications and a Bertini-type theorem
|
2012
|
Dima Grigoriev
Pierre D. Milman
|
+
|
Hybrid models of the cell cycle molecular machinery
|
2012
|
Vincent Noël
Dima Grigoriev
Sergey A. Vakulenko
Ovidiu Radulescu
|
+
|
Proceedings First International Workshop on Hybrid Systems and Biology
|
2012
|
Vincent Noël
Dima Grigoriev
Sergey A. Vakulenko
Ovidiu Radulescu
|
+
PDF
Chat
|
Hybrid models of the cell cycle molecular machinery
|
2012
|
Vincent Noël
Dima Grigoriev
S. A. Vakulenko
Ovidiu Radulescu
|
+
|
Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models
|
2012
|
Vincent Noël
Dima Grigoriev
Sergei B. Vakulenko
Ovidiu Radulescu
|
+
|
Effective Hironaka resolution and its Complexity (with appendix on applications in positive characteristic)
|
2012
|
Edward Bierstone
Dima Grigoriev
Pierre D. Milman
JarosĆaw WĆodarczyk
|
+
|
On a tropical dual Nullstellensatz
|
2012
|
Dima Grigoriev
|
+
PDF
Chat
|
Nash resolution for binomial varieties as Euclidean division. Apriori termination bound, polynomial complexity in dim 2
|
2012
|
Dima Grigoriev
Pierre D. Milman
|
+
PDF
Chat
|
On a tropical dual Nullstellensatz
|
2012
|
Dima Grigoriev
|
+
PDF
Chat
|
On a tropical dual Nullstellensatz
|
2011
|
Dima Grigoriev
|
+
PDF
Chat
|
Effective Hironaka resolution and its complexity
|
2011
|
Edward Bierstone
Dima Grigoriev
Pierre D. Milman
JarosĆaw WĆodarczyk
|
+
|
Tropical geometries and dynamics of biochemical networks. Application to hybrid cell cycle models
|
2011
|
Vincent Noël
Dima Grigoriev
Sergei B. Vakulenko
Ovidiu Radulescu
|
+
|
On a tropical dual Nullstellensatz
|
2011
|
Dima Grigoriev
|
+
|
Authentication from matrix conjugation
|
2010
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Authentication schemes from actions on graphs, groups, or rings
|
2010
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
A low complexity probabilistic test for integer multiplication
|
2010
|
Dima Grigoriev
GĂ©rald Tenenbaum
|
+
|
Authentication from matrix conjugation
|
2010
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Complexity of a standard basis of a $D$-module
|
2009
|
Dima Grigoriev
A. L. Chistov
|
+
|
Authentication from Matrix Conjugation
|
2009
|
Dima Grigoriev
Vladimir Shpilrain
|
+
PDF
Chat
|
Analogue of NewtonâPuiseux Series for Non-Holonomic D-Modules and Factoring
|
2009
|
Dima Grigoriev
|
+
PDF
Chat
|
Complexity of a standard basis of a d-module
|
2009
|
Dima Grigoriev
A. L. Chistov
|
+
PDF
Chat
|
Probabilistic Communication Complexity Over The Reals
|
2008
|
Dima Grigoriev
|
+
|
Loewy decomposition of third-order linear aPDE's in the plane
|
2008
|
Dima Grigoriev
Fritz Schwarz
|
+
|
Zero-knowledge authentication schemes from actions on graphs, groups, or rings
|
2008
|
Dima Grigoriev
Vladimir Shpilrain
|
+
|
Analogue of Newton-Puiseux series for non-holonomic D-modules and factoring
|
2008
|
Dima Grigoriev
|
+
|
Probabilistic communication complexity over the reals
|
2007
|
Dima Grigoriev
|
+
|
Complexity of Janet basis of a D-module
|
2007
|
A. L. Chistov
Dima Grigoriev
|
+
PDF
Chat
|
Loewy-and Primary-Decompositions of D-Modules
|
2007
|
Dima Grigoriev
Fritz Schwarz
|
+
|
Loewy and primary decompositions of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">D</mml:mi></mml:math>-modules
|
2006
|
Dima Grigoriev
Fritz Schwarz
|
+
PDF
Chat
|
Homomorphic Public-Key Cryptosystems and Encrypting Boolean Circuits
|
2006
|
Dima Grigoriev
Ilia Ponomarenko
|
+
PDF
Chat
|
Constructions in public-key cryptography over matrix groups
|
2006
|
Dima Grigoriev
Ilia Ponomarenko
|
+
|
Generalized Loewy-decomposition of d-modules
|
2005
|
Dima Grigoriev
Fritz Schwarz
|
+
|
Polynomial-time computing over quadratic maps i: sampling in real algebraic sets
|
2005
|
Dima Grigoriev
Dmitrii V. áčasechnik
|
+
PDF
Chat
|
On non-Abelian homomorphic public-key cryptosystems
|
2005
|
Dima Grigoriev
Ilia Ponomarenko
|
+
PDF
Chat
|
Weak BĂ©zout inequality for D-modules
|
2005
|
Dima Grigoriev
|
+
PDF
Chat
|
Algebraic proof systems over formulas
|
2003
|
Dima Grigoriev
Edward Hirsch
|
+
|
Weak Bezout inequality for D-modules
|
2003
|
Dima Grigoriev
|
+
|
Homomorphic public-key cryptosystems over groups and rings
|
2003
|
Dima Grigoriev
Ilia Ponomarenko
|
+
|
Homomorphic public-key cryptosystems and encrypting boolean circuits
|
2003
|
Dima Grigoriev
Ilia Ponomarenko
|
+
|
Approximation and Complexity II: Iterated Integration
|
2002
|
Dima Grigoriev
|
+
PDF
Chat
|
Complexity of Semi-algebraic Proofs
|
2002
|
Dima Grigoriev
Edward Hirsch
Dmitrii V. áčasechnik
|
+
PDF
Chat
|
COMPLEXITY OF SEMI-ALGEBRAIC PROOFS
|
2002
|
Dima Grigoriev
Edward Hirsch
Dmitrii V. áčasechnik
|
+
PDF
Chat
|
COMPLEXITY OF SEMI-ALGEBRAIC PROOFS
|
2002
|
Dima Grigoriev
Edward Hirsch
Dmitrii V. áčasechnik
|
+
|
Complexity of Null- and Positivstellensatz proofs
|
2001
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Approximation and Complexity: Liouvillean-Type Theorems for Linear Differential Equations on an Interval
|
2001
|
Dima Grigoriev
|
+
|
Complexity of semi-algebraic proofs
|
2001
|
Dima Grigoriev
Edward Hirsch
Dmitrii V. áčasechnik
|
+
PDF
Chat
|
Constructing double-exponential number of vectors of multipilicities of solutions of polynomial systems
|
2001
|
Dima Grigoriev
|
+
|
Constructing double-exponential number of vectors of multiplicities of solutions of polynomial systems
|
2001
|
Dima Grigoriev
|
+
|
Linear Gaps Between Degrees for the Polynomial Calculus Modulo Distinct Primes (Abstract).
|
1999
|
Samuel R. Buss
Dima Grigoriev
Russell Impagliazzo
Toniann Pitassi
|
+
PDF
Chat
|
Lower bound on testing membership to a polyhedron by algebraic decision and computation trees
|
1997
|
Dima Grigoriev
Marek KarpiĆski
Nicolai Vorobjov
|
+
|
A LOWER BOUND FOR RANDOMIZED ALGEBRAIC DECISION TREES
|
1997
|
Dima Grigoriev
Marek KarpiĆski
Friedhelm Meyer auf der Heide
Roman Smolensky
|
+
|
Short Proofs for Nondivisibility of Sparse Polynomials under the Extended Riemann Hypothesis
|
1996
|
Dima Grigoriev
Marek KarpiĆski
Andrew Odlyzko
|
+
|
DEVIATION THEOREMS FOR PFAFFIAN SIGMOIDS
|
1995
|
Dima Grigoriev
|
+
PDF
Chat
|
Complexity of solution of linear systems in rings of differential operators
|
1994
|
Dima Grigoriev
|
+
|
Lower bounds on testing membership to a polyhedron by algebraic decision trees
|
1994
|
Dima Grigoriev
Marek KarpiĆski
Nicolai Vorobjov
|
+
|
Lower Bounds on Complexity of Testing Membership to a Polygon for Algebraic and Randomized Computation Trees
|
1993
|
Dima Grigoriev
Marek KarpiĆski
|
+
|
A zero-test and an interpolation algorithm for the shifted sparse polynomials
|
1993
|
Dima Grigoriev
Marek KarpiĆski
|
+
PDF
Chat
|
Finding connected components of a semi-algebraic set in subexponential time
|
1992
|
John Canny
Dima Grigoriev
Nicolai Vorobjov
|
+
PDF
Chat
|
Counting connected components of a semi-algebraic set in subexponential time
|
1992
|
Dima Grigoriev
Nicolai Vorobjov
|
+
|
Solving Ordinary Differential Equations in Terms of Series with Real Exponents
|
1991
|
Dima Grigoriev
Michael F. Singer
|
+
PDF
Chat
|
The interpolation problem for k-sparse sums of eigenfunctions of operators
|
1991
|
Dima Grigoriev
Marek KarpiĆski
Michael F. Singer
|
+
|
Lower Bounds for the Number of Zeros of Multivariate Polynomials over GF[$q$]
|
1991
|
Dima Grigoriev
Marek KarpiĆski
|
+
PDF
Chat
|
An approximation algorithm for the number of zeros of arbitrary polynomials over GF[q]
|
1991
|
Dima Grigoriev
Marek KarpiĆski
|
+
|
Complexity of Factoring and Calculating the GCD of Linear Ordinary Differential Operators
|
1990
|
Dima Grigoriev
|
+
PDF
Chat
|
Complexity of computing the characters and the genre of a system of exterior dfferential equations
|
1989
|
Dima Grigoriev
|
+
PDF
Chat
|
Complexity of deciding Tarski algebra
|
1988
|
Dima Grigoriev
|
+
|
Complexity of deciding Tarski algebra
|
1988
|
Dima Grigoriev
|
+
PDF
Chat
|
THE MATCHING PROBLEM FOR BIPARTITE GRAPHS WITH POLYNOMIALLY BOUNDED PERMANENTS IS IN NC (EXTENDED ABSTRACT)
|
1987
|
Dima Grigoriev
Marek KarpiĆski
|
+
PDF
Chat
|
Complexity of "wild" matrix problems and of isomorphism of algebras and graphs
|
1983
|
Dima Grigoriev
|
+
PDF
Chat
|
Isomorphism of graphs with bounded eigenvalues multiplicity
|
1982
|
LĂĄszlĂł Babai
Dima Grigoriev
David M. Mount
|
+
PDF
Chat
|
An analogue pf the Bruhat decomposition for the closure of the cone of a Chevalley group of the classical series
|
1981
|
Dima Grigoriev
|
+
|
RELATION BETWEEN RANK AND MULTIPLICATIVE COMPLEXITY OF A BILINEAR FORM OVER A COMMUTATIVE NOETHERIAN RING
|
1981
|
Dima Grigoriev
|
+
|
On the Eisenbud-Levine formula over a perfect field
|
1980
|
Dima Grigoriev
Nicolai Ivanov
|
+
PDF
Chat
|
The algebraic computational complexity of a set of bilinear forms
|
1980
|
Dima Grigoriev
|