mskashi / kv
kv - a C++ Library for Verified Numerical Computation
☆83Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for kv
- 常微分方程式の数値解法の基礎．（教材）☆22Updated 6 years ago
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆197Updated 2 months ago
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆84Updated 5 months ago
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆42Updated 3 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆39Updated 2 years ago
- Base container for developing C++ and Fortran HPC applications☆17Updated 2 years ago
- Describe stencil formurae without even translating them☆58Updated 7 years ago
- A top-down/breadth-first decision diagram manipulation framework☆55Updated last year
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆46Updated 9 years ago
- Basic Polynomial Algebra Subprograms☆15Updated 3 years ago
- ☆18Updated 3 years ago
- GPU移植のための実装例（直接法に基づくN体計算）☆12Updated 3 months ago
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- ☆37Updated last year
- GAOL is not Just Another Interval Arithmetic Library☆14Updated 2 years ago
- ☆20Updated 5 years ago
- pLaTeX community edition☆49Updated 6 months ago
- Sequential object-oriented simPlex☆61Updated last week
- Single-header C++ library for parameter file☆16Updated 5 years ago
- ☆45Updated 2 years ago
- Progress bar library written in C++☆19Updated last year
- Github repository for FDPS☆82Updated 2 years ago
- Combined array and automatic differentiation library in C++☆165Updated 9 months ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆47Updated this week
- Lis (Library of Iterative Solvers for linear systems, pronounced [lis]) is a scalable parallel software library for solving linear equati…☆100Updated 4 months ago
- instruction-bench☆35Updated last year
- Converte TeX source to images.☆60Updated 4 years ago
- Light weight thread library☆63Updated 3 weeks ago
- ☆17Updated 5 years ago