Examples of the investigation of differential equations with modularized programs
computer algebraconservation lawdifferential equationsLie symmetry analysisoverdetermined systemquasi-linear equation
Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) Explicit solutions, first integrals of ordinary differential equations (34A05) Software, source code, etc. for problems pertaining to partial differential equations (35-04) Solutions to PDEs in closed form (35C05) Overdetermined systems of PDEs with variable coefficients (35N10) PDEs in connection with relativity and gravitational theory (35Q75) Symbolic computation and algebraic computation (68W30)
The use of the REDUCE program CRACK for the symbolic integration and analysis of nonlinear differential equations is demonstrated on the basis of six examples: (i) determination of conservation laws of the Ito system and Fisher's equation, (ii) determination of the Lie symmetry algebra of a unified field theory, (iii) computing finite transformations from the infinitesimal symmetry generators of an ordinary differential equation stemming from general relativity, (iv) solving a quasi-linear partial differential equation arising in the normal form theory of vector fields, (v) solving the Killing equations of the Kimura metric, and (vi) finding a Lagrangian for the Painlevé VI equation.
- Programming with ordinary differential equations: some first steps towards a programming language
- scientific article; zbMATH DE number 139696
- A prototyping environment for differential equations
- An extensible differential equation solver
- Applications of differential-algebraic equations: examples and benchmarks
- Integro-differential models: A program code
- scientific article; zbMATH DE number 54096
- scientific article; zbMATH DE number 1952040
- SAT Modulo Differential Equation Simulations
- An algorithm for solving second order linear homogeneous differential equations
- Gauge theory for extended elementary objects
- scientific article; zbMATH DE number 3613499 (Why is no real title available?)
- scientific article; zbMATH DE number 1254228 (Why is no real title available?)
- scientific article; zbMATH DE number 524294 (Why is no real title available?)
- scientific article; zbMATH DE number 873429 (Why is no real title available?)
- Liouvillian Solutions of n-th Order Homogeneous Linear Differential Equations
- On Liouvillian solutions of linear differential equations
- On the Jacobi last multiplier, integrating factors and the Lagrangian formulation of differential equations of the Painlevé-Gambier classification
- Structural equations for Killing tensors of arbitrary rank
- Computer algebra solving second order ODEs using symmetry methods
- Integrating factors for second-order ODEs
- CONVODE: A REDUCE package for solving differential equations
- Review of symbolic software for Lie symmetry analysis
- CRACK
- Programming with ordinary differential equations: some first steps towards a programming language
- scientific article; zbMATH DE number 1574475 (Why is no real title available?)
- Representation of solutions of second order linear differential equations using the language REDUCE and the graphic package GNUPLOT
- Fuchs’ solution of Painlevé VI equation by means of Jacobi’s last multiplier
- scientific article; zbMATH DE number 622676 (Why is no real title available?)
- scientific article; zbMATH DE number 2166861 (Why is no real title available?)
- Numerical investigation of breather-type solutions by using \texttt{REDUCE}
This page was built for publication: Examples of the investigation of differential equations with modularized programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368550)
