Weyl H
The Elementary Theory of Convex Polyhedra Book Section
In: Kuhn H W (Ed.): Contributions to the Theory of Games – Volume I, no. 24, pp. 3–18, Princeton University Press, Princeton, New Jersey, 1950, (Translated from citeWeyl35 by H. W. Kuhn).
BibTeX
@incollection{Weyl50, title = {The Elementary Theory of Convex Polyhedra}, author = {H. Weyl}, editor = {H. W. Kuhn}, year = {1950}, date = {1950-01-01}, booktitle = {Contributions to the Theory of Games – Volume I}, number = {24}, pages = {3–18}, publisher = {Princeton University Press}, address = {Princeton, New Jersey}, series = {Annals of Mathematics Studies}, note = {Translated from citeWeyl35 by H. W. Kuhn}, keywords = {}, pubstate = {published}, tppubtype = {incollection} }
Close
Elementare Theorie der konvexen Polyeder Journal Article
In: Commentarii Mathematici Helvetici, vol. 7, pp. 290–306, 1935, (English translation in citeWeyl50).
@article{Weyl35, title = {Elementare Theorie der konvexen Polyeder}, author = {H. Weyl}, year = {1935}, date = {1935-01-01}, journal = {Commentarii Mathematici Helvetici}, volume = {7}, pages = {290–306}, publisher = {Birkhäuser Publishing Ltd., Basel, Switzerland}, note = {English translation in citeWeyl50}, keywords = {}, pubstate = {published}, tppubtype = {article} }
Bagnara R, Ricci E, Zaffanella E, Hill P M
Errata for Technical Report ``Quaderno 286'' Miscellaneous
Available at urlhttp://www.cs.unipr.it/Publications/, 0000, (See citeBagnaraRZH02TR).
@misc{BagnaraRZH02TRerrata, title = {Errata for Technical Report ``Quaderno 286''}, author = {R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill}, howpublished = {Available at urlhttp://www.cs.unipr.it/Publications/}, note = {See citeBagnaraRZH02TR}, keywords = {}, pubstate = {published}, tppubtype = {misc} }
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library Technical Report
Dipartimento di Matematica, Università di Parma, Italy no. 286, 0000, (See also citeBagnaraRZH02TRerrata. Available at urlhttp://www.cs.unipr.it/Publications/).
Abstract | BibTeX
@techreport{BagnaraRZH02TR, title = {Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library}, author = {R. Bagnara and E. Ricci and E. Zaffanella and P. M. Hill}, number = {286}, institution = {Dipartimento di Matematica, Università di Parma, Italy}, abstract = {The domain of convex polyhedra is employed in several systems for the analysis and verification of hardware and software components. Current applications span imperative, functional and logic languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work of P.~Cousot and N.~Halbwachs, convex polyhedra have thus played an important role in the formal methods community and several critical tasks rely on their software implementations. Despite this, existing libraries for the manipulation of convex polyhedra are still research prototypes and suffer from limitations that make their usage problematic, especially in critical applications. These limitations concern inaccuracies in the documentation of the underlying theory, code and interfaces; numeric overflow and underflow; use of not fully dynamic data-structures and poor mechanisms for error handling and recovery. In addition, there is inadequate support for polyhedra that are not necessarily closed (NNC), i.e., polyhedra that are described by systems of constraints where strict inequalities are allowed to occur. This paper presents the Parma Polyhedra Library, a new, robust and complete implementation of NNC convex polyhedra, concentrating on the distinctive features of the library and on the novel theoretical underpinnings.}, note = {See also citeBagnaraRZH02TRerrata. Available at urlhttp://www.cs.unipr.it/Publications/}, keywords = {}, pubstate = {published}, tppubtype = {techreport} }
