| ackermannPeter | Factory.Math.Hyperoperation |
| addition | Factory.Math.Hyperoperation |
| additiveIdentity | Factory.Data.Ring |
| additiveInverse | Factory.Data.Ring |
| AGM | |
| 1 (Data Constructor) | Factory.Math.Pi |
| 2 (Type/Class) | Factory.Math.ArithmeticGeometricMean |
| AKS | Factory.Math.Implementations.Primality |
| Algorithm | |
| 1 (Type/Class) | Factory.Math.Implementations.Pi.Spigot.Algorithm |
| 2 (Type/Class) | Factory.Math.Implementations.Pi.BBP.Algorithm |
| 3 (Type/Class) | Factory.Math.Implementations.Pi.AGM.Algorithm |
| 4 (Type/Class) | Factory.Math.Implementations.Factorial |
| 5 (Type/Class) | Factory.Math.Implementations.Pi.Borwein.Algorithm |
| 6 (Type/Class) | Factory.Math.Implementations.Pi.Ramanujan.Algorithm |
| 7 (Type/Class) | Factory.Math.Implementations.SquareRoot |
| 8 (Type/Class) | Factory.Math.Implementations.PrimeFactorisation |
| 9 (Type/Class) | Factory.Math.Implementations.Primes.Algorithm |
| 10 (Type/Class) | Factory.Math.Implementations.Primality |
| Algorithmic | |
| 1 (Type/Class) | Factory.Math.Primes |
| 2 (Type/Class) | Factory.Math.Primality |
| 3 (Type/Class) | Factory.Math.SquareRoot |
| 4 (Type/Class) | Factory.Math.Pi |
| 5 (Type/Class) | Factory.Math.Factorial |
| 6 (Type/Class) | Factory.Math.PrimeFactorisation |
| areCoincidental | Factory.Math.Hyperoperation |
| areCongruentModulo | |
| 1 (Function) | Factory.Data.QuotientRing |
| 2 (Function) | Factory.Data.Polynomial |
| areCoprime | Factory.Math.Primality |
| ArithmeticMean | Factory.Math.ArithmeticGeometricMean |