ALGORITHMIC APPROACH TO STRONG CONSISTENCY ANALYSIS OF FINITE DIFFERENCE APPROXIMATIONS TO PDE SYSTEMS Статья Gerdt V.P., Robertz D. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Association for Computing Machinery. 2019. С. 163-170
ALGORITHMIC VERIFICATION OF LINEARIZABILITY FOR ORDINARY DIFFERENTIAL EQUATIONS Статья Lyakhov D.A., Gerdt V.P., Michels D.L. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Association for Computing Machinery. Том Part F129312. 2017. С. 285-292
IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, BMSB Сборник материалов конференции 12th IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2017. IEEE Computer Society.