6 search results - page 2 / 2 » Numerical linear algebra in the integrity theory of the Glob... |
TACAS
2009
Springer
14 years 26 days ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...