Plugins: Numbers and numerics
Optional real-number representations, refinement, and numerical algorithms.
These optional packages share the Numbers and numerics theme. Phase 1 lessons emphasize one useful end-to-end result, documentation, tests, and a tutorial before the APIs become broad.
Certified nested real balls in RiXCertified Cauchy sequences in RiXCertified complex numbers over real backendsExact continued-fraction reals in RiXOptional Float mathUniversal certified arithmetic and root findingVector trajectories, adaptive estimates, and validated ODE tubesRational betweenness oraclesInspect an exact repeating expansionCertified Bessel functionsCertified algebraic reals in RiX