Symbolic computations in differential geometry
Diego Conti
TL;DR
This paper presents Wedge, a C++ library built on GiNaC, enabling symbolic differential geometry computations and demonstrating its effectiveness through practical examples like involutivity testing.
Contribution
The paper introduces Wedge, a novel C++ library for symbolic differential geometry, highlighting its advantages and practical applications.
Findings
Wedge simplifies symbolic differential geometry computations.
Wedge enables checking involutivity of differential systems.
The library demonstrates practical utility with explicit examples.
Abstract
We introduce the C++ library Wedge, based on GiNaC, for symbolic computations in differential geometry. We show how Wedge makes it possible to use the language C++ to perform such computations, and illustrate some advantages of this approach with explicit examples. In particular, we describe a short program to determine whether a given linear exterior differential system is involutive.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Algebraic Geometry and Number Theory · Homotopy and Cohomology in Algebraic Topology