Sven Verdoolaege. ::::isl::::: An Integer Set Library for the Polyhedral Model. In Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama, editors, Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings. Volume 6327 of Lecture Notes in Computer Science, pages 299-302, Springer, 2010. [doi]
@inproceedings{Verdoolaege10,
title = {::::isl::::: An Integer Set Library for the Polyhedral Model},
author = {Sven Verdoolaege},
year = {2010},
doi = {10.1007/978-3-642-15582-6_49},
url = {http://dx.doi.org/10.1007/978-3-642-15582-6_49},
researchr = {https://researchr.org/publication/Verdoolaege10},
cites = {0},
citedby = {0},
pages = {299-302},
booktitle = {Mathematical Software - ICMS 2010, Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings},
editor = {Komei Fukuda and Joris van der Hoeven and Michael Joswig and Nobuki Takayama},
volume = {6327},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15581-9},
}