isl: An integer set library for the polyhedral model

DOI10.1007/978-3-642-15582-6_49MaRDI QIDQ5747896zbMATH OpenOpenAlexWikidataFDO

Authors Sven Verdoolaege

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

Mathematics Subject Classification ID

Computational aspects related to convexity (52B55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Symbolic computation and algebraic computation (68W30)

Recommendations

• The \texttt{Polyhedra} library in \textsc{Maple}
• Compiler Construction
• Languages and Compilers for Parallel Computing
• scientific article; zbMATH DE number 1304271
• A LIBRARY FOR DOING POLYHEDRAL OPERATIONS

Cited in

(8)

• Generation of parallel synchronization-free tiled code
• An algebraic algorithm for solving parametric integer programs
• Computing invariants with transformers: experimental scalability and accuracy
• An algorithm for solving parametric integer program
• The \texttt{Polyhedra} library in \textsc{Maple}
• Plethysm and lattice point counting
• Efficient detection of redundancies in systems of linear inequalities
• Efficient detection of redundancies in systems of linear inequalities

Describes a project that uses

Uses Software

• GiNaC
• TOPCOM
• isl
• Omega+
• PolyLib
• SIMPLIFY

This page was built for publication: isl: An integer set library for the polyhedral model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5747896)