ALGORITHMIC APPROACH TO STRONG CONSISTENCY ANALYSIS OF FINITE DIFFERENCE APPROXIMATIONS TO PDE SYSTEMS ArticleGerdt V.P., Robertz D.Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. 2019. С. 163-170
ALGORITHMIC VERIFICATION OF LINEARIZABILITY FOR ORDINARY DIFFERENTIAL EQUATIONS ArticleLyakhov D.A., Gerdt V.P., Michels D.L.Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Том Part F129312. 2017. С. 285-292
IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, BMSB Conference proceedings12th IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2017. IEEE Computer Society.