Jets. A Maple-Package for Formal Differential Geometry.

Mohamed Barakat

Browse the full CASC paper archive.