Review of symbolic software for lie symmetry analysis

Mathematical and Computer Modelling

Volumn 25, Issue 8-9, 1997, Pages 115-132

  Hereman, W ^a  

^a Department of Geology and Geological Engineering   (United States)

Author keywords

Group invariant solutions; Lie symmetry analysis; Lie symmetry software; Symbolic computations; Symmetry reduction

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTATION THEORY; COMPUTER SOFTWARE;

LIE SYMMETRY ANALYSIS; SYMBOLIC COMPUTATION; SYMBOLIC SOFTWARE; SYMMETRY REDUCTION;

DIFFERENTIAL EQUATIONS;

EID: 0031127289     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0895-7177(97)00063-0     Document Type: Article

References (115)

1. G.W. Bluman and S. Kumei, Symmetries and differential equations, Applied Mathematical Science 81, Springer-Verlag, New York, (1989).
2. nd Edition, Springer-Verlag, New York, (1993).
3. H. Stephani, Differential Equations: Their Solution Using Symmetries, Cambridge University Press, Cambridge, UK, (1989).
4. G. Gaeta, Nonlinear symmetries and nonlinear equations, Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, (1994).
5. th anniversary of Sophus Lie), Russian Math. Surveys 47, 89-156, (1992).
6. N.H. Ibragimov, Editor, CRC Handbook of Lie Group Analysis of Differential Equations, Volume 1: Symmetries, Exact Solutions, and Conservation Laws, CRC Press, Boca Raton, FL, (1994).
7. N.H. Ibragimov, Editor, CRC Handbook of Lie Group Analysis of Differential Equations, Volume 2: Applications in Engineering and Physical Sciences, CRC Press, Boca Raton, FL, (1995).
8. N.H. Ibragimov, Editor, CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Developments and Computational Methods, CRC Press, Boca Raton, FL, (1996).
9. W. Hereman, SYMMGRP.MAX: A symbolic program for symmetry analysis of partial differential equations, In Exploiting Symmetry in Applied and Numerical Analysis, Proc. AMS-SIAM Summer Seminar, Fort Collins, CO, 1992; Lectures in Applied Mathematics 29, (Edited by E. Allgower et al.), pp. 241-257, American Mathematical Society, Providence, RI, (1993).
10. W. Hereman, SYMMGRP.MAX: A symbolic program for symmetry analysis of partial differential equations, In Exploiting Symmetry in Applied and Numerical Analysis, Proc. AMS-SIAM Summer Seminar, Fort Collins, CO, 1992; Lectures in Applied Mathematics 29, (Edited by E. Allgower et al.), pp. 241-257, American Mathematical Society, Providence, RI, (1993).
11. W. Hereman, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bulletin 1 (2), 45-82, (1994).
12. W. Hereman, Symbolic software for Lie symmetry analysis, In CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Developments and Computational Methods, (Edited by N.H. Ibragimov), Chapter 13, CRC Press, Boca Raton, FL, (1996).
13. B. Champagne, W. Hereman and P. Winternitz, The computer calculation of Lie point symmetries of large systems of differential equations, Comp. Phys. Comm. 66, 319-340, (1991).
14. W. Hereman and W. Zhuang, Symbolic software for soliton theory, Acta Appl. Math. 39, 361-378, (1995).
15. G.J. Reid, Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution, Euro. J. Appl. Math. 2, 293-318, (1991).
16. G.J. Reid, Algorithmic determination of Lie symmetry algebras of differential equations, In Lie Theory, Differential Equations and Representation Theory, Proc. Annual Seminar of the Canadian Math. Soc., Montréal, Canada, 1989; (Edited by V. Hussin), pp. 363-372, Les Publications de Centre de Recherches Mathématiques, Montréal, Canada, (1990).
17. G. J. Reid, Finding abstract Lie symmetry algebras of differential equations without integrating determining equations, Euro. J. Appl. Math. 2, 319-340, (1991).
18. G.J. Reid and A. Boulton, Reduction of systems of differential equations to standard form and their integration using directed graphs, In Proc. ISSAC '91, Bonn, Germany, (Edited by S.M. Watt), pp. 308-312, ACM Press, New York, (1991).
19. G.J. Reid, I.G. Lisle, A. Boulton and A.D. Wittkopf, Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs, In Proc. ISSAC '92, Berkeley, CA, (Edited by B. Trager and D. Lazard), pp. 63-68, ACM Press, New York, (1992).
20. G.J. Reid and A.D. Wittkopf, The Long Guide to the Standard Form Package, Department of Mathematics, University of British Columbia, Vancouver, Canada, (1993).
21. F. Schwarz, The Riquier-Janet theory and its application to non-linear evolution equations, Physica D 11, 243-251, (1984).
22. F. Schwarz, An algorithm for determining the size of symmetry groups, Computing 49, 95-115, (1992).
23. F. Schwarz, Reduction and completion algorithms for partial differential equations, In Proc. ACM-SIGSAM 1992 Int. Symp. on Symbolic and Algebraic Computation, ISSAC '92, Berkeley, CA, (Edited by B. Trager and D. Lazard), pp. 49-56, ACM Press, New York, (1992).
24. T. Wolf, The symbolic integration of exact PDEs, School of Mathematical Sciences, Queen Mary and Westfield College, University of London, London, (Preprint), (1992).
25. T. Wolf, An efficiency improved program LIEPDE for determining Lie-symmetries of PDEs, In Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, Proc. Int. Workshop Acireale, Catania, Italy, 1992, (Edited by N.H. Ibragimov et al.), pp. 377-385, Kluwer Academic Publishers, Dordrecht, The Netherlands, (1993).
26. T. Wolf and A. Brand, The computer algebra package CRACK for investigating PDEs, In Proc. ERCIM Advanced Course on Partial Differential Equations and Group Theory, Bonn, Germany, (Edited by J.F. Pommaret), pp. 1-19, Gesellschaft für Mathematik und Datenverarbeitung, Sankt Augustin, Germany, (1992); Manual for CRACK added to the REDUCE Network Library, School of Mathematical Sciences, Queen Mary and Westfield College, University of London, London, (1992).
27. T. Wolf and A. Brand, The computer algebra package CRACK for investigating PDEs, In Proc. ERCIM Advanced Course on Partial Differential Equations and Group Theory, Bonn, Germany, (Edited by J.F. Pommaret), pp. 1-19, Gesellschaft für Mathematik und Datenverarbeitung, Sankt Augustin, Germany, (1992); Manual for CRACK added to the REDUCE Network Library, School of Mathematical Sciences, Queen Mary and Westfield College, University of London, London, (1992).
28. T. Wolf and A. Brand, Heuristics for overdetermined systems of PDEs, In Proc. Meeting on Artificial Intelligence in Mathematics, Glasgow, United Kingdom, (Edited by J.H. Johnson et al.), Clarendon Press, Oxford, (1994).
29. T. Wolf and A. Brand, Investigating symmetries and other analytical properties of ODEs with the computer algebra package CRACK, School of Mathematical Sciences, Queen Mary and Westfield College, University of London, London, (Preprint), (1994).
30. J. Sherring, DIMSYM - Symmetry determination and linear differential equations package, Department of Mathematics, LaTrobe University, Bundoora, Australia, (Preprint), (1993).
31. J. Sherring, Symmetry and Computer Algebra Techniques for Differential Equations, Ph.D. Thesis, Department of Mathematics, LaTrobe University, Bundoora, Australia, (1993).
32. J. Carminati, J.S. Devitt and G.J. Fee, Isogroups of differential equations using algebraic computing, J. Sym. Comp. 14, 103-120, (1992).
33. E.L. Mansfield, DIFFGROB2: A symbolic algebra package for analyzing systems of PDE using Maple, In User's Manual for Release 2, (Preprint), Department of Mathematics, University of Exeter, Exeter, UK, (1993).
34. th IMACS World Congress on Computational and Applied Mathematics, Vol. 1, Atlanta, GA, (Edited by W.F. Ames), pp. 226-229, IMACS, New Brunswick, NJ, (1994).
35. G.J. Reid and D.K. McKinnon, Solving systems of linear PDEs in their coefficient field by recursively decoupling and solving ODEs, Department of Mathematics, University of British Columbia, Vancouver, Canada, (Preprint), (1992).
36. G.J. Reid, A.D. Wittkopf and A. Boulton, Reduction of systems of nonlinear partial differential equations to simplified involutive forms, Euro. J. Appl. Math. 6, (1995) (to appear).
37. B. Buchberger, Gröbner bases: An algorithmic method in polynomial ideal theory, In Multidimensional Systems Theory, (Edited by N.K. Bose), pp. 184-232, Reidel, Dordrecht, The Netherlands, (1985).
38. B. Buchberger, An Implementation of Gröbner Bases in Mathematica, MathSource 0205-300, Wolfram Research Inc., Champaign, IL, (1992).
39. E.L. Mansfield, Differential Gröbner Bases, Ph.D. Thesis, Department of Computer Science, University of Sydney, Sydney, Australia, (1991).
40. P.A. Clarkson and E.L. Mansfield, Symmetry reductions and exact solutions of a class of nonlinear heat equations, Physica D 70, 250-288, (1993).
41. P.A. Clarkson and E.L. Mansfield, On a shallow water wave equation, Nonlinearity 7, 975-1000, (1994).
42. P.A. Clarkson and E.L. Mansfield, Algorithms for the nonclassical method of symmetry reductions, SIAM J. Appl. Math. 54, 1693-1719, (1994).
43. P.A. Clarkson and E.L. Mansfield, Symmetry reductions and exact solutions of a shallow water wave equation, Acta Appl. Math. 39, 245-276, (1995).
44. th IMACS World Congress on Computational and Applied Mathematics, Vol. 1, Atlanta, GA, (Edited by W.F. Ames), pp. 336-339, IMACS, New Brunswick, NJ, (1994).
45. E.L. Mansfield and P.A. Clarkson, Applications of the differential algebra package DIFFGROB2 to classical symmetries of differential equations, (Preprint) M94/18, Department of Mathematics, University of Exeter, Exeter, UK, (1994).
46. G.J. Reid, D.T. Weih and A.D. Wittkopf, A point symmetry group of a differential equation which cannot be found using infinitesimal methods, In Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, Proc. Int. Workshop Acireale, Catania, Italy, 1992; (Edited by N.H. Ibragimov et al.), pp. 311-316, Kluwer Academic Publishers, Dordrecht, The Netherlands, (1993).
47. T. Wolf and A. Brand, Investigating DEs with CRACK and related programs, In Special AMS Bulletin for ISSAC '95, (Edited by R. Grossmann), pp. 1-8, School of Mathematical Sciences, Queen Mary and Westfield College, University of London, London, (1995).
48. F. Schwarz, Symmetries of differential equations from Sophus Lie to computer algebra, SIAM Review 30, 450-481, (1988).
49. F. Schwarz, A factorization algorithm for linear ordinary differential equations, In Proc. ACM-SIGSAM 1989 Int. Symp. on Symbolic and Algebraic Computation, ISSAC '89, Portland, OR, (Edited by G. Gonnet), pp. 17-25, ACM Press, New York, (1989).
50. F. Schwarz, Computer Algebra Software for Scientific Applications, In Proc. 1993 CISM Advanced School on Computerized Symbolic Manipulation in Mechanics, Udine, Italy, (Edited by E. Kreuzer), Springer-Verlag, Berlin, (1994) (to appear).
51. A.K. Head, LIE: A PC program for Lie analysis of differential equations, Comp. Phys. Comm. 77, 241-248, (1993).
52. P.H.M. Kersten, Software to compute infinitesimal symmetries of exterior differential systems, with applications, Acta Appl. Math. 16, 207-229, (1989).
53. S. Steinberg, Symmetries of differential equations, MACSYMA Newsletter 7, 3-7, (1990).
54. W.M. Seiler, On the arbitrariness of the general solution of an involutive partial differential equation, J. Math. Phys. 35, 486-498, (1994).
55. G.W. Bluman and J.D. Cole, The general similarity solution of the heat equation, J. Math. Mech. 18, 1025-1042, (1969).
56. P.A. Clarkson, Nonclassical symmetry reductions of nonlinear partial differential equations, Mathl. Comput. Modelling 18 (10), 45-68, (1993).
57. P.A. Clarkson, Nonclassical symmetry reductions of the Boussinesq equation, Chaos, Solitons and Fractals 5, 2261-2301, (1995) (to appear).
58. F. Schwarz, SPDE: Symmetries of Partial Differential Equations, Guidelines for the use of SPDE 1.0, Institut SCAI, GMD, Postfach 1316, D-53731 Sankt Augustin, Germany, (1994).
59. A.V. Bocharov, DEliA: A system of exact analysis of differential equations using S. Lie approach, Report by Joint Venture OWIMEX Program Systems Institute of the U.S.S.R., Academy of Sciences, Pereslavl-Zalessky, U.S.S.R., (1989).
60. A.V. Bocharov, DEliA: A System of Exact Analysis of Differential Equations Using S. Lie Approach, DELiA 1.5.1 User Guide, Beaver Soft Programming Team, Brooklyn, NY, (1991).
61. V.P. Eliseev, R.N. Fedorova and V.V. Kornyak, A REDUCE program for determining point and contact Lie symmetries of differential equations, Comp. Phys. Comm. 36, 383-389, (1985).
62. G. Baumann, Lie Symmetries of Differential Equations: A Mathematica Program to Determine Lie Symmetries, MathSource 0202-622, Wolfram Research Inc., Champaign, IL, (1992).
63. G. Baumann, Generalized Symmetries: A Mathematica Program to Determine Lie-Bäcklund Symmetries, MathSource 0204-680, Wolfram Research Inc., Champaign, IL, (1993).
64. P.K.H. Gragert, Symbolic computations in prolongation theory, Ph.D. Thesis, Department of Mathematics, Twente University of Technology, Enschede, The Netherlands, (1981).
65. P.K.H. Gragert and P.H.M. Kersten, Implementation of differential geometry objects and functions with an application to extended Maxwell equations, In Proc. EUROCAM '82, Marseille, France, 1982; Lecture Notes in Computer Science, (Edited by J. Calmet), pp. 181-187, Springer-Verlag, New York, (1982).
66. P.K.H. Gragert and P.H.M. Kersten, Implementation of differential geometry objects and functions with an application to extended Maxwell equations, In Proc. EUROCAM '82, Marseille, France, 1982; Lecture Notes in Computer Science, (Edited by J. Calmet), pp. 181-187, Springer-Verlag, New York, (1982).
67. S. Herod, Computer assisted determination of Lie point symmetries with application to fluid dynamics, Ph.D. Thesis, Program in Applied Mathematics, The University of Colorado, Boulder, CO, (1994).
68. M.C. Nucci, Interactive REDUCE Programs for Calculating, Classical, Nonclassical, and Lie-Bäcklund Symmetries of Differential Equations, Manual of the Program, (Preprint), GT Math:062090-051, School of Mathematics, Georgia Institute of Technology, Atlanta, GA, (1990).
69. M.C. Nucci, Interactive REDUCE programs for calculating Lie-point, nonclassical, Lie-Bäcklund, and approximate symmetries of differential equations: Manual and floppy disk, In CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Developments and Computational Methods, Chapter 14, CRC Press, Boca Raton, FL, (1996).
70. P. Vafeades, PDELIE: A partial differential equation solver, MACSYMA Newsletter 9 (1), 1-13, (1992).
71. P. Vafeades, PDELIE: A partial differential equation solver II, MACSYMA Newsletter 9 (2-4), 5-20, (1992).
72. D. Bérubé and M. de Montigny, A Mathematica Program for the Calculation of Lie Point Symmetries of Systems of Differential Equations, (Preprint), CRM-1822, Centre de Recherches Mathématiques, Montréal, Canada, (1996).
73. P.K.H. Gragert, P.H.M. Kersten and A. Martini, Symbolic computations in applied differential geometry, Acta Appl. Math. 1, 43-77, (1983).
74. P.K.H. Gragert, Lie algebra computations, Acta Math. Appl. 16, 231-242, (1989).
75. P.K.H. Gragert, Prolongation algebras of nonlinear PDEs, In Proc. ERCIM Advanced Course on Partial Differential Equations and Group Theory, Part II, (Edited by J.F. Pommaret), pp. 1-20, Gesellschaft für Mathematik und Datenverarbeitung, Sankt Augustin, Germany, (1992).
76. P.H.M. Kersten, Infinitesimal symmetries: A computational approach, Ph.D. Thesis, Department of Mathematics, Twente University of Technology, Enschede, The Netherlands, (1985); CWI Tract 34, Center for Mathematics and Computer Science, Amsterdam, (1987).
77. P.H.M. Kersten, Infinitesimal symmetries: A computational approach, Ph.D. Thesis, Department of Mathematics, Twente University of Technology, Enschede, The Netherlands, (1985); CWI Tract 34, Center for Mathematics and Computer Science, Amsterdam, (1987).
78. P.K.H. Gragert and P.H.M. Kersten, Graded differential geometry in REDUCE: Supersymmetric structures of the modified KdV equation, Acta Appl. Math. 24, 211-231, (1991).
79. J. Sherring and G. Prince, Geometric aspects of reduction of order, Trans. Am. Math. Soc. 314, 433-453, (1992).
80. R.N. Fedorova and V.V. Kornyak, Applying computer algebra systems for determination of the Lie and Lie-Bäcklund symmetries of differential equations, In Proc. Int. Conf. on Computer Algebra and Its Applications in Theoretical Physics, (in Russian), pp. 248-261, Joint Institute for Nuclear Research, Dubna, U.S.S.R., (1985).
81. R.N. Fedorova and V.V. Kornyak, A REDUCE program for computing determining equations of Lie-Bäcklund symmetries of differential equations, Report R11-87-19, (in Russian), Joint Institute for Nuclear Research, Dubna, U.S.S.R., (1987).
82. T. Wolf, Programs for Applying Symmetries of PDEs, In Proc. ACM-SIGSAM 1995 Int. Symp. on Symbolic and Algebraic Computation, ISSAC '95, Montreal, Canada, pp. 7-15, ACM Press, New York, (1995).
83. T. Wolf, Zur analytischen Untersuchung und exakten Lösung von Differentialgleichungen mit Computeralgebrasystemen, Dissertation, Friedrich Schiller Universität, Jena, Germany, (1989).
84. T. Wolf, A package for the analytic investigation and exact solutions of differential equations, In Proc. EUROCAL '87, Leipzig, GDR, 1987; Lecture Notes in Computer Science 378, (Edited by J.H. Davenport), pp. 479-491, Springer-Verlag, Berlin, (1989).
85. T. Wolf, A package for the analytic investigation and exact solutions of differential equations, In Proc. EUROCAL '87, Leipzig, GDR, 1987; Lecture Notes in Computer Science 378, (Edited by J.H. Davenport), pp. 479-491, Springer-Verlag, Berlin, (1989).
86. V.P. Gerdt, Computer algebra tools for higher symmetry analysis of nonlinear evolution equations, In Programming Environments for High-Level Problem Solving, (Edited by P.W. Gaffney and E.N. Houstis), pp. 107-115, Elsevier Science Publishers, Amsterdam, (1993).
87. V.P. Gerdt, Computer algebra, symmetry analysis and integrability of nonlinear evolution equations, Int. J. Mod. Phys. C 4, 279-286, (1993).
88. W. Sarlet and J. Vanden Bonne, REDUCE-procedures for the study of adjoint symmetries of second-order differential equations, J. Sym. Comp. 13, 683-693, (1992).
89. F. Oliveri, RELIE: A REDUCE program for calculating Lie symmetries, (Preprint), Department of Mathematics, University of Messina, Messina, Italy, (1994).
90. P. Vafeades, Computer algebraic determination of symmetries and conservation laws of PDEs, In Proc. ISMM Int. Symposium on Computer Applications in Design, Simulation and Analysis, New Orleans, LA, (Edited by E.K. Park), pp. 310-312, Acta Press, Anaheim, CA, (1990).
91. P. Vafeades, SYMCON: A MACSYMA package for the determination of symmetries and conservation laws of PDEs, (Preprint), Department of Engineering Sciences, Trinity University, San Antonio, TX, (1990).
92. P. Vafeades, PDELIE: A partial differential equation solver III, MACSYMA Newsletter, (1995) (to appear).
93. P. Vafeades, PDELIE: Symbolic Software for the Analysis of Partial Differential Equations by Lie Group Methods, User's Manual, (Preprint), San Antonio, TX, (1994).
94. S. Steinberg, Symmetry operators, In Proc. 1979 MACSYMA User's Conference, Washington, DC, (Edited by V.E. Lewis), pp. 408-444, MIT Press, Boston, MA, (1979).
95. S. Steinberg, Lie series, Lie transformations, and their applications, In Lie Methods in Optics, Proc. CIFMOCIO Workshop, Leon, Mexico, 1985; Lecture Notes in Physics 250, (Edited by J. Sánchez Mondragón and K.B. Wolf), pp. 45-103, Springer-Verlag, New York, (1986).
96. S. Steinberg, Lie series, Lie transformations, and their applications, In Lie Methods in Optics, Proc. CIFMOCIO Workshop, Leon, Mexico, 1985; Lecture Notes in Physics 250, (Edited by J. Sánchez Mondragón and K.B. Wolf), pp. 45-103, Springer-Verlag, New York, (1986).
97. K. Vu, Source code for Desolv Release 1.0, Department of Mathematics, Monash University, Clayton, Victoria, Australia, (1995).
98. P.A. Clarkson and M.D. Kruskal, New similarity solutions of the Boussinesq equation, J. Math. Phys. 30, 2201-2213, (1989).
99. F. Schwarz, Programming with abstract data types: The symmetry package SPDE in SCRATCHPAD, In Trends in Computer Algebra, Proc. Int. Symposium, Bad Neuenahr, Germany, 1987; Lecture Notes in Computer Science 296, (Edited by R. Janßen), pp. 167-176, Springer-Verlag, New York, (1988).
100. F. Schwarz, Programming with abstract data types: The symmetry package SPDE in SCRATCHPAD, In Trends in Computer Algebra, Proc. Int. Symposium, Bad Neuenahr, Germany, 1987; Lecture Notes in Computer Science 296, (Edited by R. Janßen), pp. 167-176, Springer-Verlag, New York, (1988).
101. J. Schü, W.M. Seiler and J. Calmet, Algorithmic methods for Lie pseudogroups, In Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, Proc. Int. Workshop Acireale, Catania, Italy, 1992; (Edited by N.H. Ibragimov et al.), pp. 337-344, Kluwer Academic Publishers, Dordrecht, The Netherlands, (1993).
102. W.M. Seiler, Analysis and application of the formal theory of partial differential equations, Ph.D. Thesis, Department of Physics, University of Lancaster, Lancaster, UK, (1994).
103. A. V. Mikhailov, A.B. Shabat and V.V. Sokolov, The symmetry approach to classification of integrable equations, In What is Integrability?, Springer Lecture Notes in Nonlinear Dynamics, (Edited by V.I. Zakharov), pp. 115-184, Springer-Verlag, New York, (1990).
104. W.I. Fushchich and V.V. Kornyak, Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations, J. Symb. Comp. 7, 611-619, (1989).
105. V.V. Kornyak and W.I. Fushchich, A program for symmetry analysis of differential equations, In Proc. ISSAC '91, Bonn, Germany, (Edited by S.M. Watt), pp. 315-316, ACM Press, New York, (1991).
106. R.N. Fedorova and V.V. Kornyak, Determination of Lie-Bäcklund symmetries of differential equations using FORMAC, Comp. Phys. Comm. 39, 93-103, (1986).
107. H.J. Pohle and T. Wolf, Automatic determination of dynamical symmetries of ordinary differential equations, Computing 41, 297-307, (1989).
108. V.P. Gerdt and A.Yu. Zharkov, Computer generation of necessary integrability conditions for polynomial-nonlinear evolution systems, In Proc. ISSAC '90, Tokyo, Japan, (Edited by S. Watanabe and M. Nagata), pp. 250-254, ACM Press, New York, (1990).
109. V.P. Gerdt, A.B. Shvachka and A.Yu. Zharkov, FORMINT - A program for classification of integrable nonlinear evolution equations, Comp. Phys. Comm. 34, 303-311, (1985).
110. V.P. Gerdt, A.B. Shvachka and A.Yu. Zharkov, Computer algebra application for classification of integrable non-linear evolution equations, J. Symb. Comp. 1, 101-107, (1985).
111. M.D. Popov, Automized computing of defining equations for a Lie group, Izvestiya AN Belor. SSR, Ser. Phys.-Math., (in Russian) 2, 33-37, (1985).
112. A.V. Bocharov and M.L. Bronstein, Efficiently implementing two methods of the geometrical theory of differential equations: An experience in algorithm and software design, Acta Appl. Math. 16, 143-166, (1989).
113. V.L. Topunov, Reducing systems of linear differential equations to a passive form, Acta Appl. Math. 16, 191-206, (1989).
114. M.J. Ablowitz and P.A. Clarkson, Solitons, nonlinear evolution equations and inverse scattering, In London Mathematical Society Lecture Notes on Mathematics, Vol. 149, Cambridge University Press, Cambridge, UK, (1991).
115. P.A. Clarkson, Dimensional reductions and exact solutions of a generalized nonlinear Schrödinger equation, Nonlinearity 5, 453-472, (1992).