ON THE ALGORITHMIC LINEARIZABILITY OF NONLINEAR ORDINARY DIFFERENTIAL EQUATIONS ArticleLyakhov D.A., Gerdt V.P., Michels D.L.Journal of Symbolic Computation. Том 98. 2020. С. 3-22
IDENTIFYING THE PARAMETRIC OCCURRENCE OF MULTIPLE STEADY STATES FOR SOME BIOLOGICAL NETWORKS ArticleBradford R., Davenport J.H., England M., Errami H., Gerdt V., Grigoriev D., Hoyt C., Košta M., Radulescu O., Sturm T., Weber A.Journal of Symbolic Computation. Том 98. 2020. С. 84-119
ON SYMBOLIC INTEGRATION OF ALGEBRAIC FUNCTIONS ArticleMalykh M.D., Sevastianov L.A., Yu Y.Journal of Symbolic Computation. 2020.