Posts by Collection

Lecture notes on differential Galois theory

Lecture notes on linear recurrences with nonconstant coefficients

Wronskian of derivations

Paradigm of Max-Factor and finite-dimensional representation of Lie algebras (with Razmyslov Yu.P.)

The Heisenberg envelope for the Hochschild algebra of a finite-dimensional Lie algebra (with Razmyslov Yu.P.)

Primary differential nil-algebras do exist

The primitive element theorem for differential fields with zero derivation on the base field

Modules of zero Gorenstein dimension over graph algebras (with Golod E.S.)

Bounds for orders of derivatives in differential elimination algorithms (with Gustavson R. and Ovchinnikov A.)

Prime Lie algebras satisfying the standard Lie identity of degree 5 (with Razmyslov Yu.P.)

Rolling Simplexes and Their Commensurability. III (Capelli Identities and Their Application to Differential Algebras) (with Gerasimova O. and Razmyslov Yu.P.)

Bounds for substituting algebraic functions into D-finite functions (with Kauers M.)

Power series expansions for the planar monomer-dimer problem

New order bounds in differential elimination algorithms (with Gustavson R. and Ovchinnikov A.)

Products of ideals and jet schemes

A differential analog of the Noether normalization lemma

Irrendundant Triangular Decomposition (with Szanto A.)

Complexity of Triangular Representations of Algebraic Sets (with Amzallag E., Sun M., and Thieu Vo N.)

SIAN: software for structural identifiability analysis of ODE models (with Hong H., Ovchinnikov A., and Yap C.)

Primitive element theorem for fields with commuting derivations and automorphisms

The dynamics of canalizing Boolean networks (with Paul E., Qin W., and Laubenbacher R.)

Effective difference elimination and Nullstellensatz (with Ovchinnikov A. and Scanlon T.)

Global identifiability of differential models (with Hong H., Ovchinnikov A., and Yap C.)

Solving difference equations in sequences: Universality and Undecidability (with Scanlon T. and Wibmer M.)

Separating variables in bivariate polynomial ideals (with Buchacher M. and Kauers M.)

Elimination of unknowns for systems of algebraic differential-difference equations (with Li W., Ovchinnikov A., and Scanlon T.)

Bounds for elimination of unknowns in systems of differential-algebraic equations (with Ovchinnikov A. and Thieu Vo N.)

Parameter identifiability and input-output equations (with Ovchinnikov A. and Thompson P.)

CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations (with Ovchinnikov A., Pérez Verona I.C., and Tribastone M.)

Optimal monomial quadratization for ODE systems (with Bychkov A.)

A zero test for σ-algebraic power series (with van der Hoeven J.)

Interpretable exact linear reductions via positivity (with Zhang X.)

Degree bound for toric envelope of a linear algebraic group (with Amzallag E. and Minchenko A.)

Bit-complexity of solving systems of linear evolutionary partial differential equations (with Koswara I., Selivanova S., and Ziegler M.)

Algorithms yield upper bounds in differential algebra (with Li W., Ovchinnikov A., and Scanlon T.)

Computing all identifiable functions of parameters for ODE models (with Ovchinnikov A., Pillay A., and Scanlon T.)

Input-output equations and identifiability of linear ODE models (with Ovchinnikov A. and Thompson P.)

From algebra to analysis: new proofs of theorems by Ritt and Seidenberg (with Pavlov D. and Razmyslov Yu.)

Multi-experiment parameter identifiability of ODEs and model theory (with Ovchinnikov A., Pillay A., Scanlon T.)

On realizing differential-algebraic equations by rational dynamical systems (with Pavlov D.)

Exact linear reduction for rational dynamical systems (with Jiménez-Pastor A., Jacob J.)

Differential elimination for dynamical models via projections with applications to structural identifiability (with Dong, R. and Goodbrake C. and Harrington H.A.)

Multiplicity structure of the arc space of a fat point (with Ait El Manssour R.)

Dissipative quadratizations of polynomial ODE systems (with Cai Y.)

Exact hierarchical reductions of dynamical models via linear transformations (with Demin A., Demitraki E.)

Exact and optimal quadratization of nonlinear finite-dimensional non-autonomous dynamical systems (with Bychkov A., Issan O., Kramer B.)

Problem 11997 (with Drmota M. and Krattenthaler C.)

Linear Difference Operators with Sequence Coefficients Having Infinite-Dimentional Solution Spaces (with Abramov S.)

Persistent components in Canny’s resultant

On 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 experience 1

Undergraduate course, University 1, Department, 2014

Teaching experience 2

Workshop, University 1, Department, 2015