GeoProver is a Inter-CAS package for Geometry Theorem Proving with Mappings currently to Reduce, Mathematica, Maple and MuPAD