In this presentation, the equivalence problem for Schwarzschild metric in a simple case is formulated and solved to the end using the
PDEtools,
Physics and
Physics:-Tetrads Maple packages.
This application is also the subject of a
blog post on MaplePrimes.