validated numerics
Sign in to saveAlso known as Reliable computing, Numerical verification, Rigorous computation
numerics including mathematically strict error evaluation
Also known as Reliable computing, Numerical verification, Rigorous computation
numerics including mathematically strict error evaluation