Validated Numerics
Validated Numerics is a scholarly work, published in 2022. The main subjects of the publication include computer science, set, mathematical optimization, computer algebra, space, algorithm, floating point, computation, set theory, and theoretical computer science. International audience.