mskashi / kv
kv - a C++ Library for Verified Numerical Computation
☆86Updated 6 months ago
Alternatives and similar repositories for kv:
Users that are interested in kv are comparing it to the libraries listed below
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆42Updated 3 years ago
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆86Updated 8 months ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆201Updated this week
- 常微分方程式の数値解法の基礎.(教材)☆22Updated 6 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆39Updated 2 years ago
- A top-down/breadth-first decision diagram manipulation framework☆58Updated last year
- Describe stencil formurae without even translating them☆58Updated 8 years ago
- Github repository for FDPS☆86Updated 2 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- ☆18Updated 3 years ago
- Base container for developing C++ and Fortran HPC applications☆18Updated 2 years ago
- instruction-bench☆36Updated 2 years ago
- ☆45Updated 3 years ago
- In Japanese. Juliaで学ぶ量子力学☆68Updated 5 years ago
- my codes for math or phys, and so on☆10Updated 2 years ago
- Single-header C++ library for parameter file☆16Updated 2 months ago
- ☆37Updated last year
- C++ metaheuristics modeler/solver for general integer optimization problems.☆49Updated 2 weeks ago
- Matlab interface to LUSOL☆21Updated last year
- ☆12Updated 8 months ago
- TeX/LaTeXの知識を共有するためのリポジトリ。9割LaTeX☆26Updated 6 years ago
- ☆20Updated 5 years ago
- NLCPy : NumPy-like API accelerated with SX-Aurora TSUBASA☆15Updated last year
- GAOL is not Just Another Interval Arithmetic Library☆16Updated 2 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆85Updated last month
- Combined array and automatic differentiation library in C++☆173Updated last year
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- BDD Package - Sapporo Edition☆21Updated last year
- 高速でJuliaを学ぶ入門チュートリアル☆194Updated 6 years ago