Back to Results
First PageMeta Content
Numerical analysis / Affine geometry / Operations research / Affine arithmetic / Abstract interpretation / Semidefinite programming / Polyhedron / Interval arithmetic / Fixed point


The Zonotope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, FGif-sur-Yvette Cedex, France,
Add to Reading List

Document Date: 2009-11-24 06:44:26


Open Document

File Size: 201,80 KB

Share Result on Facebook