The Verified Polyhedron Library: an Overview
In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC); (2018-09-01) S. 9-17
Konferenz
Zugriff:
Titel: |
The Verified Polyhedron Library: an Overview
|
---|---|
Autor/in / Beteiligte Person: | Boulme, Sylvain ; Marechaly, Alexandre ; Monniaux, David ; Perin, Michael ; Yu, Hang |
Quelle: | 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC); (2018-09-01) S. 9-17 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-0625-0 (print) |
DOI: | 10.1109/SYNASC.2018.00014 |
Sonstiges: |
|