validated numerics
Sign in to saveAlso known as Reliable computing, Numerical verification, Rigorous computation
numerics including mathematically strict error evaluation
Connections
mathematics
Entity
algorithm
Entity
dynamical system
Entity
numerical integration
Entity
differential form
Entity
German
Entity
statistics
Entity
Q15777
Entity
Q2407
Entity
mathematical analysis
Entity
differential equation
Entity
Gulf War
Event
cryptography
Entity
numerical analysis
Entity
game theory
Entity
probability theory
Entity
discrete mathematics
Entity
applied mathematics
Entity
combinatorics
Entity
string theory
Entity