![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | _readme | 16-Mar-2016 16:00 | 8.9K | |
![]() | checkrays5.m | 09-Jun-2010 11:15 | 51K | |
![]() | coefs50 | 09-Jun-2010 11:15 | 333 | |
![]() | coefs54 | 09-Jun-2010 11:15 | 280 | |
![]() | coefs55 | 09-Jun-2010 11:15 | 1.7K | |
![]() | coefs60 | 09-Jun-2010 11:15 | 784 | |
![]() | coefs64 | 09-Jun-2010 11:15 | 1.6K | |
![]() | coefs65 | 09-Jun-2010 11:15 | 22K | |
![]() | coefs66 | 15-Nov-2022 10:46 | 829M | |
![]() | coefs66.gz | 15-Nov-2022 10:47 | 133M | |
![]() | dualcoefs66 | 14-Nov-2022 16:45 | 484M | |
![]() | dualcoefs66.gz | 14-Nov-2022 16:56 | 50M | |
![]() | dualrays6 | 18-Oct-2022 15:52 | 1.4G | |
![]() | dualrays6.gz | 18-Oct-2022 16:26 | 101M | |
![]() | filter6.c | 09-Jun-2010 11:15 | 21K | |
![]() | filter6a.c | 08-Apr-2013 11:16 | 23K | |
![]() | ineqs50 | 09-Jun-2010 11:15 | 62 | |
![]() | ineqs54 | 09-Jun-2010 11:15 | 147 | |
![]() | ineqs55 | 09-Jun-2010 11:15 | 1.4K | |
![]() | ineqs60 | 09-Jun-2010 11:15 | 90 | |
![]() | ineqs64 | 09-Jun-2010 11:15 | 505 | |
![]() | ineqs65 | 09-Jun-2010 11:15 | 11K | |
![]() | ineqs66 | 14-Nov-2022 16:27 | 871M | |
![]() | ineqs66.gz | 14-Nov-2022 16:57 | 153M | |
![]() | ineqs66CI | 14-Nov-2022 16:24 | 102M | |
![]() | ineqs66CI.gz | 14-Nov-2022 16:56 | 14M | |
![]() | lexfirst6.c | 08-Apr-2013 11:18 | 1.6K | |
![]() | nonshan4/ | 05-Nov-2024 15:39 | - | |
![]() | perm5.c | 09-Jun-2010 11:15 | 2.0K | |
![]() | perm6.c | 09-Jun-2010 11:15 | 2.2K | |
![]() | proofs66 | 14-Nov-2022 16:44 | 3.8G | |
![]() | proofs66.gz | 14-Nov-2022 16:57 | 882M | |
![]() | proofs_so_far.pdf | 30-Jul-2014 17:59 | 50K | |
![]() | rays5 | 09-Jun-2010 11:15 | 10K | |
![]() | rays6 | 18-Oct-2022 16:07 | 17G | |
![]() | rays6.gz | 18-Oct-2022 16:26 | 814M | |
![]() | reps6 | 18-Oct-2022 16:25 | 9.2G | |
![]() | reps6.gz | 18-Oct-2022 16:27 | 1.0G | |
![]() | reptoray.c | 05-Apr-2016 16:40 | 15K | |