×

Review of symbolic software for Lie symmetry analysis. (English) Zbl 0898.34002

The author gives an overview of existing software for Lie symmetry analysis of partial differential equations. After introducing into the methods and basic ideas the packages in MATHEMATICA, MAPLE, REDUCE, MACSYMA are listed and their abilities are discussed. Finally, computations are demonstrated for the Dym-Kruskal equation and the nonlinear Schrödinger equation. A long bibliography is included.

MSC:

34-04 Software, source code, etc. for problems pertaining to ordinary differential equations
68Q25 Analysis of algorithms and problem complexity
34L40 Particular ordinary differential operators (Dirac, one-dimensional Schrödinger, etc.)
35Q55 NLS equations (nonlinear Schrödinger equations)
22E99 Lie groups
PDFBibTeX XMLCite
Full Text: DOI

References:

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