2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/159227We 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.14 pages, 1 figureDifferential GeometrySymbolic Computation53-04 (Primary); 53C05, 68W30, 58A15 (Secondary)text