mskashi / kvLinks
kv - a C++ Library for Verified Numerical Computation
☆93Updated 8 months ago
Alternatives and similar repositories for kv
Users that are interested in kv are comparing it to the libraries listed below
Sorting:
- The MPLAPACK: multiple precision version of BLAS and LAPACK☆100Updated this week
- monolish: MONOlithic LInear equation Solvers for Highly-parallel architecture☆200Updated 5 months ago
- Library of High Precision Sparse Matrix Operations Accelerated by SIMD☆43Updated 4 years ago
- Double precision SIMD-oriented Fast Mersenne Twister☆42Updated 4 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆97Updated last month
- Basic Polynomial Algebra Subprograms☆15Updated 3 months ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Github repository for FDPS☆91Updated 2 months ago
- Combined array and automatic differentiation library in C++☆181Updated last month
- 常微分方程式の数値解法の基礎.(教材)☆23Updated 7 years ago
- A top-down/breadth-first decision diagram manipulation framework☆60Updated 3 months ago
- Base container for developing C++ and Fortran HPC applications☆18Updated 3 years ago
- GAOL is not Just Another Interval Arithmetic Library☆18Updated 3 years ago
- Bertini 2.0: The redevelopment of Bertini in C++.☆109Updated 3 months ago
- ☆98Updated 3 months ago
- C++ metaheuristics modeler/solver for general integer optimization problems.☆52Updated last month
- ☆49Updated 4 months ago
- ☆20Updated 6 years ago
- The Piranha computer algebra system.☆104Updated 3 years ago
- ☆18Updated 4 years ago
- Special purpose C++ library for symbolic computations☆82Updated 2 years ago
- Multiprecision Polynomial Solver☆43Updated 3 months ago
- Sequential object-oriented simPlex☆70Updated last week
- Recursive LAPACK Collection☆44Updated 3 years ago
- Converte TeX source to images.☆67Updated 5 years ago
- Library for chordal matrix computations☆25Updated 7 years ago
- A compile-time Computer Algebra System (CAS) library (with some geometry)☆20Updated 2 years ago
- Live Linux for Mathematical Software☆18Updated last year
- An open-source library for mathematical programming☆244Updated last week
- Flexible Library for Efficient Numerical Solutions☆127Updated 5 months ago