[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - The Verified Polyhedron Library: an Overview
Boulme, Sylvain, Marechaly, Alexandre, Monniaux, David, Perin, Michael, Yu, HangYear:
2018
Language:
english
DOI:
10.1109/synasc.2018.00014
File:
PDF, 694 KB
english, 2018