Quadratic Zonotopes

DOI10.1007/978-3-319-26529-2_8zbMath1329.68073arXiv1411.5847MaRDI QIDQ3460904

Pierre-Loïc Garoche, Assalé Adjé, Alexis Werey

Publication date: 8 January 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1411.5847

zbMATH Keywords

quadratic form; static analysis; zonotopes; affine form; affine vectors; quadratic vectors

Mathematics Subject Classification ID

52B55: Computational aspects related to convexity

65G30: Interval and finite arithmetic

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

11E10: Forms over real fields