arpra-project / arpraLinks
Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.
☆25Updated 2 years ago
Alternatives and similar repositories for arpra
Users that are interested in arpra are comparing it to the libraries listed below
Sorting:
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated 3 weeks ago
- Givaro - C++ library for arithmetic and algebraic computations☆52Updated 3 weeks ago
- Recursive LAPACK Collection☆44Updated 3 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆63Updated 3 weeks ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Sigmoid Numbers for Julia☆88Updated 7 years ago
- Code generation tool to generate mathematical libraries☆56Updated 6 months ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- A standard for floating point accuracy benchmarks☆53Updated 6 months ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated last month
- A mirror of the CRLibm project from INRIA Forge☆48Updated 5 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆42Updated 2 months ago
- C++ library of symbolic algebra data structures for use in Groebner basis computation.☆25Updated 5 years ago
- Universal Number Library☆44Updated 7 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- Multiprecision Polynomial Solver☆42Updated last month
- Verilog for Julia☆51Updated 8 years ago
- Library to plot integer sets and maps☆53Updated 8 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 5 years ago
- A posit arithmetic emulator.☆54Updated last year
- 🚀 Sum of the primes below x☆38Updated 3 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Custom-Precision Floating-point numbers.☆38Updated 8 months ago
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Updated 3 months ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆22Updated 5 years ago
- My copy of FLINT -- please use https://github.com/flintlib/flint/ for development☆82Updated 3 weeks ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year