Mathematica
package for doing computer algebra with differential forms. The package allows you to define basis 1-forms, to define wedge products of forms, calulate Hodge star dual forms, affinity forms, Riemann tensor and Ricci tensor. The package was mainly developed for solving Einstein's equations of gravity.