GPSEinstein
Global properties of solutions of the Einstein equations
Project PTDC/MAT-ANA/1275/2014