FINSLER: A computer algebra package for Finsler geometries

摘要

This package is intended as a computational tool that will make mathematical experimentation and applications of Finsler and higher geometries easier, through the explicit derivation of some of its main objects, such as curvatures, simplified and presented in the usual way. The package is written in Maple, and consists of 3 modules: interface, data structure and engine. The interface is friendly, allowing the user to start computation either from a metric function or from the connection, for non-metric spaces. The data-structure is robust enough to allow future developments of the present package to include more general spaces. The engine consists of the procedures that performs the geometrical calculations, using as much as possible the symmetries to increase efficiency. Simplification procedures are also performed in every calculation. [References: 12]