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. 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. Том 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.