There are 0 repository under rational-arithmetic topic.
Large collection of number systems providing custom arithmetic and mixed-precision algorithms for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
Arithmetic package for Fōrmulæ, in JavaScript
Rational implementation in C++ to perform rational arithmetics
Integer programming proofs for Chvátal's conjecture over finite ground sets