Affiliation:
1. School of Mathematical Sciences, QMW, University of London, London
2. Institut für informatik, Friedrich Schiller Universität Jena, Jena, Germany
Abstract
The aim of the package to be described is to try modularizing the investigation of differential equations for which there are no complete algorithms available yet. All, that is available for such problems are algorithms for special situations, e.g. when first integrals with a simple structure exist (e.g. polynomial in first derivatives) or when the problem has infinitesimal symmetries. In all such cases, finally a system of differential equations has to be solved which is overdetermined in the sense that more conditions have to be satisfied than there are unknown functions. To do a variety of such investigations efficiently, like a symmetry analysis, application of symmetries, determination of first integrals, differential factors, equivalent Lagrangians, the strategy is to have one package (CRACK) for simplifying DEs and solving simple DEs as effective as possible and to use this program as the main tool for all the above mentioned investigations. For each investigation there is then only a short program necessary to just formulate the necessary conditions in form of an overdetermined DE-system and to call CRACK to solve this, possibly in a number of successive calls. The examples below shall indicate the range of possible applications.
Publisher
Association for Computing Machinery (ACM)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. WDVV equations: symbolic computations of Hamiltonian operators;Applicable Algebra in Engineering, Communication and Computing;2022-07-14
2. Computing with Hamiltonian operators;Computer Physics Communications;2019-11
3. Applications of Differential Form Wu’s Method to Determine Symmetries of (Partial) Differential Equations;Symmetry;2018-09-03
4. Bi-Hamiltonian structures of KdV type;Journal of Physics A: Mathematical and Theoretical;2017-12-19
5. Conservation Laws and Nonlocal Variables;The Symbolic Computation of Integrability Structures for Partial Differential Equations;2017