MACE means Models And Counter Examples in Mathematics
Similar to MACE
AETG - Automatic Efficient Test Generator AF - All Flat AF - Approximately Finite AF - Array Formula AFEM - Advanced Finite Element Methods AFG - Arbitrary Function Generator AFP - Abstract Family of Power