mskashi / kvLinks
kv - a C++ Library for Verified Numerical Computation
☆92Updated 6 months ago
Alternatives and similar repositories for kv
Users that are interested in kv are comparing it to the libraries listed below
Sorting:
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆43Updated 4 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆42Updated 2 months ago
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆97Updated 3 months ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆200Updated 4 months ago
- Github repository for FDPS☆91Updated last month
- Base container for developing C++ and Fortran HPC applications☆18Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated last month
- Basic Polynomial Algebra Subprograms☆15Updated 2 months ago
- 常微分方程式の数値解法の基礎.(教材)☆23Updated 7 years ago
- A top-down/breadth-first decision diagram manipulation framework☆60Updated 2 months ago
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- Combined array and automatic differentiation library in C++☆178Updated this week
- Converte TeX source to images.☆67Updated 4 years ago
- ☆49Updated 3 months ago
- ☆20Updated 6 years ago
- Single-header C++ library for parameter file☆16Updated 9 months ago
- Light weight thread library☆67Updated 11 months ago
- Code generation tool to generate mathematical libraries☆56Updated 7 months ago
- HPCコードの全自動最適化を行う集約並列CLIエージェント☆20Updated this week
- ☆18Updated 4 years ago
- ☆96Updated 2 months ago
- GAOL is not Just Another Interval Arithmetic Library☆18Updated 2 years ago
- In Japanese. Juliaで学ぶ量子力学☆67Updated 5 years ago
- instruction-bench☆35Updated 2 years ago
- Arpack++ with patches (C++ interface to ARPACK)☆68Updated last year
- High-level framework for stencil computations☆39Updated 10 years ago
- Special purpose C++ library for symbolic computations☆79Updated 2 years ago
- Lis (Library of Iterative Solvers for linear systems, pronounced [lis]) is a parallel software library to solve discretized linear equa…☆112Updated 5 months ago
- Live Linux for Mathematical Software☆18Updated last year