Sven Verdoolaege

From MaRDI portal
Person:996704

Available identifiers

zbMath Open verdoolaege.svenMaRDI QIDQ996704

List of research outcomes





PublicationDate of PublicationType
The Relation Between Diamond Tiling and Hexagonal Tiling2015-12-18Paper
isl: An Integer Set Library for the Polyhedral Model2010-09-14Paper
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences2009-06-30Paper
Computing parametric rational generating functions with a primal Barvinok algorithm2009-04-07Paper
Counting with rational generating functions2008-03-05Paper
Counting integer points in parametric polytopes using Barvinok's rational functions2007-07-19Paper
Analysis Methods for (Alleged) RC41999-06-17Paper

Research outcomes over time

This page was built for person: Sven Verdoolaege

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:996704&oldid=7451369"
Powered by MediaWiki