| carmichael | Math.NumberTheory.ArithmeticFunctions |
| carmichaelA | Math.NumberTheory.ArithmeticFunctions |
| Certificate | Math.NumberTheory.Primes.Testing.Certificates |
| certificateFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| certifiedFactorisation | Math.NumberTheory.Primes.Factorisation.Certified |
| certify | Math.NumberTheory.Primes.Testing.Certificates |
| CG2 | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| CG4 | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| CGDoubleOddPrimePower | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| CGOddPrimePower | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| checkCertificate | Math.NumberTheory.Primes.Testing.Certificates |
| checkCompositenessProof | Math.NumberTheory.Primes.Testing.Certificates |
| checkPrimalityProof | Math.NumberTheory.Primes.Testing.Certificates |
| chinese | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseCoprime | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseCoprimeSomeMod | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseRemainder | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseRemainder2 | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| chineseSomeMod | Math.NumberTheory.Moduli.Chinese, Math.NumberTheory.Moduli |
| compo | Math.NumberTheory.Primes.Testing.Certificates |
| Composite | Math.NumberTheory.Primes.Testing.Certificates |
| composite | Math.NumberTheory.Primes.Testing.Certificates |
| CompositenessArgument | Math.NumberTheory.Primes.Testing.Certificates |
| CompositenessProof | Math.NumberTheory.Primes.Testing.Certificates |
| conjugate | |
| 1 (Function) | Math.NumberTheory.Quadratic.GaussianIntegers |
| 2 (Function) | Math.NumberTheory.Quadratic.EisensteinIntegers |
| coprime | Math.NumberTheory.Euclidean |
| Coprimes | Math.NumberTheory.Euclidean.Coprimes |
| cprime | Math.NumberTheory.Primes.Testing.Certificates |
| curveFactorisation | Math.NumberTheory.Primes.Factorisation |
| CyclicGroup | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| cyclicGroupFromModulo | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |
| cyclicGroupToModulo | Math.NumberTheory.Moduli.PrimitiveRoot, Math.NumberTheory.Moduli |