CDIFF: A REDUCE PACKAGE FOR COMPUTATIONS IN GEOMETRY OF DIFFERENTIAL EQUATIONS (original) (raw)
Related papers
A Maple-Package for Formal Differential Geometry
The Maple-package jets was first designed to be an extension of the package desolv. In the current stage it became an independent package going beyond symmetries to handle different aspects of formal differential geometry, including some important parts of the variational bicomplex. We demonstrate this by computing the set of all Hamiltonian structures of a order at most 3, which are compatible with Dx. This set includes among others the famous KdV-operator Dxxx + 2 3 uDx + 1 3 ux.
Differential geometric computations and computer algebra
Mathematical and Computer Modelling, 1997
The use of computer algebra in the field of differential geometry and its applications to geometric structures of partial differential equations is discussed. The differential geometric setting is shortly described; a number of programs are slightly touched, some examples given, and an application to the construction of supersymmetric extensions of the Korteweg-de Vries equation is demonstrated.
Computer algebra in gravity: Reduce-Excalc programs for (non-) Riemannian space-times. I
1998
Computer algebra programs are presented for application in general relativity, in electrodynamics, and in gauge theories of gravity. The mathematical formalism used is the calculus of exterior differential forms, the computer algebra system applied Hearn's Reduce with Schrüfer's exterior form package Excalc. As a non-trivial example we discuss a metric of Plebański & Demiański (of Petrov type D) together with an electromagnetic potential and a triplet of post-Riemannian one-forms. This whole geometrical construct represents an exact solution of a metric-affine gauge theory of gravity. We describe a sample session and verify by computer that this exact solution fulfills the appropriate field equations.-Computer programs are described for the irreducible decomposition of (non-Riemannian) curvature, torsion, and nonmetricity. file cpc9.tex, 1998-03-18
Symbolic Computation and Differential Equations: Lie Symmetries
Journal of Symbolic Computation, 2000
In this paper we discuss the package DESOLV written for the algebraic computing system MAPLE. DESOLV has routines which will systematically obtain with considerably flexibility, all resulting integrability conditions for any system of linear, coupled, partial differential equations. It also contains routines which will automatically generate and attempt to integrate the determining equations for the Lie symmetries of differential equations.
Reductions of PDEs to first order ODEs, symmetries and symbolic computation
Communications in Nonlinear Science and Numerical Simulation, 2015
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. Highlights • Two methods to reduce ODEs to generalized Abel or elliptic equations are provided. • New exact solutions for well-known PDEs are obtained. • Computer algebra codes for obtaining the reduced equations are included.
DiffMan: An object-oriented MATLAB toolbox for solving differential equations on manifolds
Applied Numerical Mathematics, 2001
DiffMan is a MATLAB toolbox for solving Ordinary Differential Equations on manifolds, based on the concept of 'Coordinate Free Numerics'. This is, loosely speaking, the idea that (whenever possible) it is important to formulate numerical algorithms generically, independent of special representations and coordinate systems. DiffMan inherits its basic design philosophy from the C++ package SOPHUS. The SOPHUS project was initiated by Magne Haveraaen and Hans Munthe-Kaas, University of Bergen, and aims at solving tensor field equations on sequential and parallel computers.
Implementation of a Reducing Algorithm for Differential-Algebraic Systems in Maple
This paper discusses the implementation of a reduction algorithm for differential-algebraic systems in Maple. Using the proposed Maple package, the given system of differential-algebraic equations can be transformed into another simpler system having the same properties. Sample computations are presented to illustrate the proposed algorithm. This algorithm will be helpful to implement this in commercial software packages such as Mathematica, Matlab, Singular, SCIlab etc.
Trends in Mathematics, 2007
Thes ymbolic-numeric computingd escribedh erec onsistso fa ne xtensive symbolic pre-processing of systems of differential-algebraice quations (DAE), followedb yt he numerical integrationo ft he system obtained.T he applicationa reai sm ultibody dynamics.W ed eals ymbolically withaDAE system using differentiation ande liminationm ethods to find allt he hidden constraints, andp roduceasystem that is leadingl inear( lineari ni ts leading derivatives).T henw eu se LU symbolic decomposition with LargeE xpression Management to solve this leadingl inears ystem fori ts leadingd erivatives, therebyo btaining an explicit ODEs ystem writteni nt erms of computation sequences obtained from usingthe Maple package LargeExpressions.Subsequently theM aplecommand dsolve is appliedt othise xplicit ODEt oobtain itsnumericsolution. Advantages of this strategy in avoiding expression explosion arei llustrateda nd discussed. We briefly discussan ew class of methods involvingN umerical Algebraic andA nalyticG eometry.