EDS

swMATH230MaRDI QIDQ12993FDOQ12993

Author name not available (Why is that?)

Official website: http://cpc.cs.qub.ac.uk/summaries/ADEV_v1_0.html

Described by source

• EDS: A REDUCE package for exterior differential systems

Cited In (6)

• Involution. The formal theory of differential equations and its applications in computer algebra
• Prolongation methods and Cartan characters for the three-dimensional Riemann–Lanczos problem
• The Weyl–Lanczos equations and the Lanczos wave equation in four dimensions as systems in involution
• Computer algebra solution of the inverse problem in the calculus of variations
• EXCALC
• Exterior differential systems, Janet–Riquier theory and the Riemann–Lanczos problems in two, three, and four dimensions

This page was built for software: EDS