swMATH ID: 31712
Software Authors: Masahide Kashiwagi
Description: kv - a C++ Library for Verified Numerical Computation. A set of libraries for verified numerical computations (kv library), which is written in the C++ language, is available to download in this page. For overview of verified numerical computation and kv library, please see the slide: kv-intro-e.pdf (86 pages; 90
Homepage: http://verifiedby.me/kv/index-e.html
Related Software: INTLAB; VNODE; ValEncIA-IVP; MPFR; CAPD DynSys; CAPD; RODES; DLMF; Lorenz-Database; Chebfun; Octave Interval; CRlibm; Flocq; Alt-Ergo; Why3; Coq; Flow*; ODEIntegrator; ValEncIA; Cosy
Referenced in: 13 Publications

Referencing Publications by Year