AGTP

Medical abbreviations:
AGTP

Automated Geometry Theorem Proving