Similar to HADA

AFG - Arbitrary Function Generator
AFP - Abstract Family of Power
AGG - Aggregate
AGM - Arithmetic Geometric Mean
AGS - Algebra Geometry And Statistics
AGT - Anomalous Gauge Theory
AGTP - Automated Geometry Theorem Proving

View all in Mathematics