nasa / KodiakLinks
Library for rigorous verification of non-linear arithmetic
☆116Updated last year
Alternatives and similar repositories for Kodiak
Users that are interested in Kodiak are comparing it to the libraries listed below
Sorting:
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆62Updated 8 years ago
- ☆53Updated 9 years ago
- ☆85Updated 3 weeks ago
- The Piranha computer algebra system.☆104Updated 3 years ago
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆49Updated 10 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- The NASA Ames Stereo Pipeline is a suite of automated geodesy & stereogrammetry tools designed for processing planetary imagery captured …☆82Updated 10 years ago
- NASA PVS Library of Formal Developments☆290Updated 2 weeks ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 11 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆77Updated this week
- An open-source library for mathematical programming☆243Updated this week
- Givaro - C++ library for arithmetic and algebraic computations☆51Updated last week
- Pynac -- symbolic computation with Python objects, Sage Math support library --- Website:☆27Updated 3 years ago
- Lattice-based integer linear programming solver☆65Updated last month
- ☆18Updated 9 years ago
- EADIN_Lite Network Protocol☆59Updated 7 years ago
- ☆74Updated last year
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated last month
- sources for the Singular computer algebra system☆290Updated this week
- ☆222Updated 2 years ago
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆38Updated 13 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆30Updated 7 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- Library for exact linear algebra, a C++ template-library based originally on LinBox intended for F4-like implementations☆18Updated 12 years ago
- Fortran Front-End☆45Updated 7 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆96Updated last week
- Random Variable Library☆25Updated 7 years ago
- Automatically Tuned Linear Algebra Software (ATLAS)☆186Updated 5 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago