NumericalCertification : Index
- absValue (missing documentation)
- certifyDistinctSoln (missing documentation)
- certifySolution (missing documentation)
- complexToRational (missing documentation)
- computeConstants (missing documentation)
- frobeniusNormSq (missing documentation)
- hermitianNorm (missing documentation)
- NumericalCertification -- certifying solutions to square polynomial systems (Smale's alpha test)
- oneNorm (missing documentation)
- polyNorm (missing documentation)
- polySysNorm (missing documentation)
- rationalToComplex (missing documentation)