What does AGTP mean in Studies?

AGTP Stands For Automated Geometry Theorem Proving| Acid Guanidinium Thiocyanate Phenol. AGTP is an abbreviation that can have different meanings depending on the context in which it is used.