Back to Results
First PageMeta Content
Compiler optimizations / Linear algebra / Deduction / Entailment / Logical consequence / Metalogic / Transitive closure / Polytope model / FO / Mathematics / Algebra / Logic


Counting Affine Calculator and Applications Sven Verdoolaege INRIA Saclay — Île-de-France Parc Club Orsay Universite, ZAC des vignes 4 rue Jacques Monod, 91893 Orsay, France
Add to Reading List

Document Date: 2011-03-29 07:21:23

Open Document

File Size: 197,43 KB

Share Result on Facebook

City

Washington / DC / /

Company

Distributed Systems / PPL / /

Country

France / United States / /

/

Facility

Versailles University / University of Maryland / Omega+ library / Parma Polyhedra Library / Omega library / /

IndustryTerm

interactive polyhedral tools / computing / software systems / /

Organization

Île-de-France Parc Club Orsay Universite / University of Maryland / IEEE Computer Society / Versailles University / /

Person

Sven Verdoolaege / Louis Pasteur de Strasbourg / Louis Pasteur / K. Beyls / V / W. Kelly / V / /

ProgrammingLanguage

DC / Java / /

ProvinceOrState

Maryland / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Java / /

URL

http /

SocialTag