Similar to MACE

AGTP - Automated Geometry Theorem Proving
AH - Arithmetical Hierarchy
AHP - Analytic Hierarchy Process
AI - Algebraically Independent
AI - All Inclusive
AIC - Akaike Information Criterion
AIM - All Inclusive Method

View all in Mathematics