mskashi / kv
kv - a C++ Library for Verified Numerical Computation
☆88Updated last month
Alternatives and similar repositories for kv:
Users that are interested in kv are comparing it to the libraries listed below
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆93Updated 10 months ago
- 常微分方程式の数値解法の基礎.(教材)☆22Updated 7 years ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆201Updated last month
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆42Updated 3 years ago
- Base container for developing C++ and Fortran HPC applications☆18Updated 2 years ago
- ☆20Updated 5 years ago
- A top-down/breadth-first decision diagram manipulation framework☆59Updated last year
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆39Updated 2 years ago
- Single-header C++ library for parameter file☆16Updated 3 months ago
- ☆18Updated 3 years ago
- pLaTeX community edition☆49Updated this week
- Github repository for FDPS☆87Updated 2 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- Lis (Library of Iterative Solvers for linear systems, pronounced [lis]) is a parallel software library to solve discretized linear equa…☆107Updated 2 weeks ago
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 months ago
- instruction-bench☆36Updated 2 years ago
- ☆38Updated last year
- 非圧縮性ナビエストークス方程式(2次元)を解くプログラム☆14Updated last year
- Combined array and automatic differentiation library in C++☆175Updated last year
- Sample programs for "LAPACK/BLAS Tutorial"☆17Updated 3 months ago
- In Japanese. Juliaで学ぶ量子力学☆69Updated 5 years ago
- Classes tailored for use with Japanese.☆63Updated 2 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- ☆13Updated 10 months ago
- BDD Package - Sapporo Edition☆22Updated last year
- C++11TMP compile time C compiler☆27Updated 7 years ago
- C++ adaptive and header-only Lanczos algorithm library☆28Updated last year
- GAOL is not Just Another Interval Arithmetic Library☆16Updated 2 years ago
- ☆61Updated last month