Differential geometric computations and computer algebra

DOI10.1016/S0895-7177(97)00055-1MaRDI QIDQ1368538zbMATH OpenOpenAlexWikidataFDO

Authors P. K. H. Gragert, Paul H. M. Kersten

Publication date 24 July 1998

Published in Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0895-7177(97)00055-1, https://research.utwente.nl/en/publications/0333f75b-2014-432e-95ac-43717cbbeaa4

zbMATH Keywords

computer algebradifferential geometryliterate programmingsupersymmetry

Mathematics Subject Classification ID

KdV equations (Korteweg-de Vries equations) (35Q53) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Symbolic computation and algebraic computation (68W30)

Review text

The authors discuss the use of computer algebra (CA) in the field of differential geometry (DG) and its applications to geometric structures of partial differential equations. A number of CA packages allow to do DG computations: computations for differential forms and vector fields, such as differentiation, inner products, Lie derivatives, and so on. Section 2 contains some historical development; the importance of ``literate programming style, i.e., programs are developed as ``readable documents, is pointed out. Section 3 contains geometrical algebraic settings. Due to influences of Russian mathematicians A. M. Vinogradov and I. S. Krasil'shchik, the authors' point of view towards symmetries, conservation laws, prolongations, and other geometrical objects gradually changed towards a vector field approach, the features of which are described compactly here. Section 5 contains ``NOWEB programming example. Using a ``WEB means that one develops at the same time a document of one's programming efforts as well as the program itself. ``NOWEB is a ``WEB which is suitable for any CA language. Section 6 contains a rough description of some software CA packages (``Liesurfer, super vector fields, total derivative operators). In Section 7 an application of the construction of supersymmetric extensions to the Korteweg-de Vries equation is demonstrated.

Recommendations

• Symbolic computations in applied differential geometry
• Introduction to symbolic computations in differential geometry with Maple
• Symmetries of Differential Equations: From Sophus Lie to Computer Algebra
• Computer algebra and field theories
• Differential geometry and mechanics: a source for computer algebra problems

Cites work

• Geometric Approach to Invariance Groups and Solution of Partial Differential Systems
• Graded differential geometry in REDUCE: Supersymmetry structures of the modified KdV equation
• scientific article; zbMATH DE number 3949816 (Why is no real title available?)
• scientific article; zbMATH DE number 4058860 (Why is no real title available?)
• scientific article; zbMATH DE number 4071983 (Why is no real title available?)
• scientific article; zbMATH DE number 3558548 (Why is no real title available?)
• scientific article; zbMATH DE number 493114 (Why is no real title available?)
• scientific article; zbMATH DE number 1057719 (Why is no real title available?)
• scientific article; zbMATH DE number 816184 (Why is no real title available?)
• Lie algebra computations
• Literate Programming
• Local symmetries and conservation laws
• Nonlocal symmetries and the theory of coverings: An addendum to A. M. Vinogradov's 'Local Symmetries and Conservation Laws'
• PRESENTATION FOR THE VIRASORO ALGEBRA
• Prolongation structures of a higher-order nonlinear Schrodinger equation
• Prolongation structures of nonlinear evolution equations. II
• Review of symbolic software for Lie symmetry analysis
• Software to compute infinitesimal symmetries of exterior differential systems, with applications
• Some new cohomological invariants for nonlinear differential equations
• Supersymmetric extension of the Korteweg–de Vries equation
• Supersymmetric extensions of the nonlinear Schrödinger equation: Symmetries and coverings

Cited in

(16)

• Computer algebra and field theories
• Differential geometry and mechanics: a source for computer algebra problems
• Introduction to symbolic computations in differential geometry with Maple
• DiffAlg: a differential algebra package
• scientific article; zbMATH DE number 3883603 (Why is no real title available?)
• scientific article; zbMATH DE number 4157915 (Why is no real title available?)
• scientific article; zbMATH DE number 3901553 (Why is no real title available?)
• Application of computer modeling to studying Pfaffian systems and differential manifolds
• scientific article; zbMATH DE number 1992396 (Why is no real title available?)
• scientific article; zbMATH DE number 7084049 (Why is no real title available?)
• scientific article; zbMATH DE number 5494023 (Why is no real title available?)
• Computability Theory and Differential Geometry
• Classification of integrable super-systems using the Sstools environment
• On the integrability and construction of triply orthogonal level surface systems
• Symbolic computations in applied differential geometry
• Efficiently implementing two methods of the geometrical theory of differential equations: An experience in algorithm and software design

Describes a project that uses

Uses Software

• SYMMGRP

This page was built for publication: Differential geometric computations and computer algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368538)