mskashi / kvLinks
kv - a C++ Library for Verified Numerical Computation
☆88Updated 4 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
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆200Updated last month
- Base container for developing C++ and Fortran HPC applications☆18Updated 3 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆40Updated this week
- Github repository for FDPS☆88Updated 2 months ago
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆95Updated this week
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- GAOL is not Just Another Interval Arithmetic Library☆17Updated 2 years ago
- 常微分方程式の数値解法の基礎.(教材)☆22Updated 7 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆91Updated 3 weeks ago
- Basic Polynomial Algebra Subprograms☆15Updated 4 years ago
- Combined array and automatic differentiation library in C++☆176Updated last month
- ☆20Updated 5 years ago
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- Omni Compiler for C and Fortran programs with XcalableMP and OpenACC directives☆61Updated last year
- ☆94Updated 5 months ago
- Code generation tool to generate mathematical libraries☆56Updated 4 months ago
- Converte TeX source to images.☆66Updated 4 years ago
- A top-down/breadth-first decision diagram manipulation framework☆60Updated last year
- Light weight thread library☆66Updated 8 months ago
- instruction-bench☆35Updated 2 years ago
- The Piranha computer algebra system.☆102Updated 3 years ago
- A SYCL Implementation for CPU and SX-Aurora TSUBASA☆53Updated 2 years ago
- ☆18Updated 3 years ago
- Single-header C++ library for parameter file☆16Updated 6 months ago
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- A C++ header-only, precision-independent library for performing numerical integration☆85Updated 7 years ago
- A gemm_tutorial☆36Updated last month
- Sequential object-oriented simPlex☆68Updated last month
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆14Updated last year