validated numerics for dynamical systems. JuliaIntervals on GitHub (Library made by Julia) Boost Safe Numerics - C++ header only library of validated...

emotions). Forecast verification, validating and verifying prognostic output from a numerical model Regression validation, in statistics, determining whether...

\leq \,\epsilon .} The evaluation of forward errors is desired in validated numerics. Backward error analysis involves the analysis of the approximation...

retrieved 2011-03-05 Today, numerical analysis includes numerical linear algebra, numerical integration, and validated numerics as subfields. Hager, G.,...

Numerical methods for partial differential equations is the branch of numerical analysis that studies the numerical solution of partial differential equations...

linearization method Numerical differentiation Numerical Recipes Probabilistic numerics Symbolic-numeric computation Validated numerics "Photograph, illustration...

Numerical methods for ordinary differential equations are methods used to find numerical approximations to the solutions of ordinary differential equations...

traditional engineering methods. Numerical methods used in scientific computation, for example numerical linear algebra and numerical solution of partial differential...

differential equations Numerical methods for partial differential equations Validated numerics Variational calculus Probability theory Distributions (random variables)...

Numerical linear algebra, sometimes called applied linear algebra, is the study of how matrix operations can be used to create computer algorithms which...