Projects tagged ‘interpolation’ and ‘solver’
Projects tagged ‘interpolation’ and ‘solver’
Filtered by
interpolation
solver
Refine results
matrix (1)
library (1)
linear (1)
linear_algebra (1)
fft (1)
sat (1)
algebra (1)
dotnet (1)
numerical (1)
combinatorics (1)
verification (1)
complex (1)
[2 total ]
6USERS
A mathematical open source library written in C#/.Net, aiming to provide a self contained clean framework for symbolic algebraic and numerical / scientific computations.
0USERS
CSIsat is an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementation combines the efficiency of linear programming for solving the arithmetic