isl: An Integer Set Library for the Polyhedral Model
From MaRDI portal
Publication:5747896
DOI10.1007/978-3-642-15582-6_49zbMath1294.68166OpenAlexW1558370006WikidataQ61632375 ScholiaQ61632375MaRDI QIDQ5747896
Publication date: 14 September 2010
Published in: Mathematical Software – ICMS 2010 (Search for Journal in Brave)
Full work available at URL: https://lirias.kuleuven.be/handle/123456789/270231
Symbolic computation and algebraic computation (68W30) Computational aspects related to convexity (52B55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Computing invariants with transformers: experimental scalability and accuracy ⋮ Generation of parallel synchronization-free tiled code ⋮ An algorithm for solving parametric integer program ⋮ Plethysm and lattice point counting ⋮ An algebraic algorithm for solving parametric integer programs
Uses Software
