ALGORITHMIC APPROACH TO STRONG CONSISTENCY ANALYSIS OF FINITE DIFFERENCE APPROXIMATIONS TO PDE SYSTEMS Article Gerdt V.P., Robertz D. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Association for Computing Machinery. 2019. P. 163-170
ALGORITHMIC VERIFICATION OF LINEARIZABILITY FOR ORDINARY DIFFERENTIAL EQUATIONS Article Lyakhov D.A., Gerdt V.P., Michels D.L. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Association for Computing Machinery. Vol. Part F129312. 2017. P. 285-292
IEEE INTERNATIONAL SYMPOSIUM ON BROADBAND MULTIMEDIA SYSTEMS AND BROADCASTING, BMSB Conference proceedings 12th IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, BMSB 2017. IEEE Computer Society.