11 results found Sort:

143
459
lgpl-2.1
26
Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
Created 2012-04-05
2,641 commits to master branch, last one about a year ago
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, contro...
Created 2017-05-01
4,131 commits to main branch, last one 20 days ago
19
359
apache-2.0
10
AutoBound automatically computes upper and lower bounds on functions.
Created 2022-11-23
40 commits to main branch, last one about a year ago
Library for validated numerics using interval arithmetic
Created 2017-04-02
1,280 commits to master branch, last one 4 days ago
Library for finding the roots of a function using interval arithmetic
Created 2017-04-02
220 commits to master branch, last one 2 months ago
A faithful graphing calculator
Created 2020-08-14
1,684 commits to main branch, last one 5 months ago
An implementation of an algebraically closed interval system of the extended real number set
Created 2015-05-12
180 commits to master branch, last one 2 years ago
25
90
other
8
Genome Interval Arithmetic in R
Created 2016-01-10
1,009 commits to main branch, last one 6 days ago
Rigorous global optimisation in pure Julia
Created 2017-06-14
59 commits to master branch, last one 3 years ago
Linear algebra done rigorously
Created 2021-04-13
121 commits to main branch, last one 6 months ago