The Library package contains tables of abstract Lie algebras, Lie algebras of vector fields, differential equations and exact solutions to the Einstein equations; all taken from the mathematics and mathematical physics literature.  Computations can be done with the entries in these tables using the DifferentialGeometry software.

The tables can be searched to find entries with specific properties.

Browse: display a list of entries from a table in the DifferentialGeometry Library.

MetricSearch : a Maplet for searching the DifferentialGeometry libraries of metrics.

References: display the original source references used to create the DifferentialGeometry Library.

Retrieve: retrieve a specific entry from a table in the DifferentialGeometry Library.

Search: search through the DifferentialGeometry Library to find Lie algebras, Lie algebras of vector fields, or differential equations with specific properties.