Symbolic computations in differential geometry

2008/04/20 by Diego Conti, Conti, Diego
Computer Science · Mathematics · #53-04 (Primary) #53C05 #58A15 (Secondary) #68W30 #Algebraic Geometry and Number Theory #Differential Geometry (math.DG) #FOS: Computer and information sciences #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Polynomial and algebraic computation #Symbolic Computation (cs.SC)

paper · pdf · doi:10.48550/arxiv.0804.3193

openalex publication_date 2008/04/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Citations

• The Self-Duality Equations on a Riemann Surface

Related

• Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
• Linear Differential Equations as a Data-Structure
• Certifying Differential Equation Solutions from Computer Algebra Systems in Isabelle/HOL
• PyDEC: Software and Algorithms for Discretization of Exterior Calculus
• Differential geometry and stochastic dynamics with deep learning numerics