Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
Blog Post number 4
Published:
Blog Post number 3
Published:
Blog Post number 2
Published:
Blog Post number 1
Published:
publications
Lecture notes on differential Galois theory
MSU, 2013 (in Russian)Lecture notes on linear recurrences with nonconstant coefficients
AESC MSU, 2016 (in Russian)Wronskian of derivations
Moscow University Mathematics Bulletin, Volume 66(1), pp 47-49, 2011Paradigm of Max-Factor and finite-dimensional representation of Lie algebras (with Razmyslov Yu.P.)
Moscow University Mathematics Bulletin, vol. 67(4), pp 170-172, 2012The Heisenberg envelope for the Hochschild algebra of a finite-dimensional Lie algebra (with Razmyslov Yu.P.)
Journal of Mathematical Sciences, vol. 193(4), pp 580-585, 2013Primary differential nil-algebras do exist
Moscow University Mathematics Bulletin, vol 69(1), pp 33-36, 2014 , preprintThe primitive element theorem for differential fields with zero derivation on the base field
Journal of Pure and Applied Algebra, vol 219(9), pp. 4035-4041, 2015 , preprintModules of zero Gorenstein dimension over graph algebras (with Golod E.S.)
Sbornik:Mathematics, vol. 207, issue 7, pp. 81-100, 2016Bounds for orders of derivatives in differential elimination algorithms (with Gustavson R. and Ovchinnikov A.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 239-246, 2016Prime Lie algebras satisfying the standard Lie identity of degree 5 (with Razmyslov Yu.P.)
Journal of Algebra, vol. 468, pp. 182--192, 2016 , preprintRolling Simplexes and Their Commensurability. III (Capelli Identities and Their Application to Differential Algebras) (with Gerasimova O. and Razmyslov Yu.P.)
Journal of Mathematical Sciences, vol. 221(3), pp. 315-325, 2017Bounds for substituting algebraic functions into D-finite functions (with Kauers M.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 245-252, 2017 , preprintPower series expansions for the planar monomer-dimer problem
Physical Review E, vol. 96, 2017 , preprintNew order bounds in differential elimination algorithms (with Gustavson R. and Ovchinnikov A.)
Journal of Symbolic Computation, vol. 85, pp. 128-146, 2018 , preprintProducts of ideals and jet schemes
Journal of Algebra, vol.502, pp. 61-78, 2018 , preprintA differential analog of the Noether normalization lemma
International Mathematics Research Notices, vol. 2018(4), pp. 1177-1199, 2018 , preprintIrrendundant Triangular Decomposition (with Szanto A.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 311-318, 2018 , preprintComplexity of Triangular Representations of Algebraic Sets (with Amzallag E., Sun M., and Thieu Vo N.)
Journal of Algebra, vol. 523, pp. 342-364, 2019 , preprintSIAN: software for structural identifiability analysis of ODE models (with Hong H., Ovchinnikov A., and Yap C.)
Bioinformatics, vol. 35(16), pp. 2873–2874, 2019 , preprintPrimitive element theorem for fields with commuting derivations and automorphisms
Selecta Mathematica, 25:57, 2019 , preprintThe dynamics of canalizing Boolean networks (with Paul E., Qin W., and Laubenbacher R.)
Complexity, volume 2020, ID 3687961, 2020 , preprintEffective difference elimination and Nullstellensatz (with Ovchinnikov A. and Scanlon T.)
Journal of the European Mathematical Society, 2020 , preprintGlobal identifiability of differential models (with Hong H., Ovchinnikov A., and Yap C.)
Communications in Pure and Applied Mathematics, vol. 73(9), pp. 1831-1879, 2020 , preprintSolving difference equations in sequences: Universality and Undecidability (with Scanlon T. and Wibmer M.)
Forum of Mathematics, Sigma, vol. 8, e33, 2020 , preprintSeparating variables in bivariate polynomial ideals (with Buchacher M. and Kauers M.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 54-61, 2020 , preprintElimination of unknowns for systems of algebraic differential-difference equations (with Li W., Ovchinnikov A., and Scanlon T.)
Transactions of American Mathematical Society, 2020 , preprintBounds for elimination of unknowns in systems of differential-algebraic equations (with Ovchinnikov A. and Thieu Vo N.)
International Mathematics Research Notices, 2020 , preprintParameter identifiability and input-output equations (with Ovchinnikov A. and Thompson P.)
Applicable Algebra in Engineering, Communication and Computing, 2021 , preprintCLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations (with Ovchinnikov A., Pérez Verona I.C., and Tribastone M.)
Bioinformatics, 2021 , preprintOptimal monomial quadratization for ODE systems (with Bychkov A.)
International Workshop on Combinatorial Algorithms (IWOCA), 2021 , preprintA zero test for σ-algebraic power series (with van der Hoeven J.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), 2021 , preprintInterpretable exact linear reductions via positivity (with Zhang X.)
Computational Methods in Systems Biology (CMSB), 2021 , preprintDegree bound for toric envelope of a linear algebraic group (with Amzallag E. and Minchenko A.)
Mathematics of Computation, 2021 , preprintBit-complexity of solving systems of linear evolutionary partial differential equations (with Koswara I., Selivanova S., and Ziegler M.)
Computer Science in Russia (CSR), 2021 , preprintAlgorithms yield upper bounds in differential algebra (with Li W., Ovchinnikov A., and Scanlon T.)
Canadian Journal of Mathematics, 2021 , preprintComputing all identifiable functions of parameters for ODE models (with Ovchinnikov A., Pillay A., and Scanlon T.)
System & Control Letters, 2021 , preprintInput-output equations and identifiability of linear ODE models (with Ovchinnikov A. and Thompson P.)
IEEE Transactions on Automatic Control, 2022 , preprintFrom algebra to analysis: new proofs of theorems by Ritt and Seidenberg (with Pavlov D. and Razmyslov Yu.)
Proceedings of American Mathematical Society, 2022 , preprintMulti-experiment parameter identifiability of ODEs and model theory (with Ovchinnikov A., Pillay A., Scanlon T.)
SIAM Journal on Applied Algebra and Geometry, 2022 , preprintOn realizing differential-algebraic equations by rational dynamical systems (with Pavlov D.)
International Symposium on Symbolic and Algebraic Computation (ISSAC), 2022 , preprintExact linear reduction for rational dynamical systems (with Jiménez-Pastor A., Jacob J.)
Computational Methods in Systems Biology (CMSB), 2022 , preprintDifferential elimination for dynamical models via projections with applications to structural identifiability (with Dong, R. and Goodbrake C. and Harrington H.A.)
SIAM Journal on Applied Algebra and Geometry, 2023 , preprintMultiplicity structure of the arc space of a fat point (with Ait El Manssour R.)
accepted to Algebra & Number Theory , preprintDissipative quadratizations of polynomial ODE systems (with Cai Y.)
accepted to Tools and Algorithms for Construction and Analysis of Systems (TACAS) , preprintExact hierarchical reductions of dynamical models via linear transformations (with Demin A., Demitraki E.)
Communications in Nonlinear Science and Numerical Simulation , preprintExact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems (with Bychkov A., Issan O., Kramer B.)
accepted to SIAM Journal on Applied Dynamical Systems , preprintProblem 11997 (with Drmota M. and Krattenthaler C.)
The American Mathematical Monthly, vol. 124, number 7, p.660, 2017Linear Difference Operators with Sequence Coefficients Having Infinite-Dimentional Solution Spaces (with Abramov S.)
ACM Communications in Computer Algebra , preprintOn the dimension of the solution space of linear difference equations over the ring of infinite sequences (with Abramov S.)
Obtaining weights for Gröbner basis computation in parameter identifiability problems (with Bessonov M., Ilmer I., Konstantinova T., Ovchinnikov A., Soto P.)
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
Teaching experience 2
Workshop, University 1, Department, 2015