Index of /convexcount
Name Last modified Size Description
Parent Directory -
ConvexCount.jar 23-Jul-2016 07:07 25K
ConvexCount.jj 23-Jul-2016 07:07 18K
CounterExampleSpectr..> 24-Jul-2016 15:08 36K
analysisSpectrum1.txt 24-Jul-2016 14:57 1.0K
analysisSpectrum2.txt 24-Jul-2016 14:59 1.0K
figure1.txt 23-Jul-2016 07:40 27
proof_spectrum_conje..> 23-Jul-2016 12:30 3.6K
readme.txt 24-Jul-2016 15:00 6.2K
spectrum1.txt 23-Jul-2016 07:37 45
spectrum2.txt 23-Jul-2016 07:37 45
tree.txt 23-Jul-2016 07:19 35
tree2.txt 23-Jul-2016 07:27 35
Apache/2.2.32 (Unix) mod_ssl/2.2.34 OpenSSL/1.0.2o Server at skelk.sdf-eu.org Port 80