![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | cari2.gif | 1995-02-23 15:20 | 52K | |
![]() | cari3.gif | 1995-02-23 15:20 | 60K | |
![]() | cari4.gif | 1995-02-23 15:20 | 63K | |
![]() | cari5.gif | 1995-02-23 15:20 | 58K | |
![]() | cari.gif | 1995-02-23 15:26 | 43K | |
![]() | caris2.gif | 1995-09-07 12:45 | 59K | |
![]() | caris2.jpg | 1995-09-07 12:45 | 62K | |
![]() | caris4.gif | 1995-09-07 12:45 | 40K | |
![]() | caris4.jpg | 1995-09-07 12:45 | 57K | |
![]() | cari2.html | 1995-09-11 10:53 | 886 | |
![]() | auto2.ps | 1995-11-30 17:42 | 299K | |
![]() | thue.ps | 1995-11-30 17:43 | 125K | |
![]() | pseudo.ps | 1995-11-30 17:44 | 157K | |
![]() | nfa.ps | 1996-06-09 18:47 | 138K | |
![]() | auto4.ps | 1996-06-09 18:56 | 286K | |
![]() | lagarias.ps | 1996-08-02 12:33 | 116K | |
![]() | auto3.ps | 1996-10-15 14:01 | 235K | |
![]() | linalg.ps | 1996-10-15 14:05 | 361K | |
![]() | fix0.ps | 1997-12-30 13:45 | 106K | |
![]() | ntfl.ps | 1998-01-18 07:46 | 268K | |
![]() | sep3.ps | 1999-02-16 11:55 | 190K | |
![]() | swart.ps | 1999-03-09 14:32 | 221K | |
![]() | fixed2.ps | 1999-03-31 09:58 | 260K | |
![]() | ubiq.ps | 1999-09-21 10:10 | 177K | |
![]() | autorat.ps | 2000-07-22 07:30 | 222K | |
![]() | avoid.ps | 2001-02-23 10:32 | 147K | |
![]() | nfa.2 | 2001-06-15 05:46 | 1.0K | |
![]() | nfa.3 | 2001-06-15 05:46 | 3.5K | |
![]() | nfa.4 | 2001-06-15 05:46 | 12K | |
![]() | nfa.5 | 2001-06-15 05:46 | 40K | |
![]() | minimal5.ps | 2001-07-16 14:42 | 69K | |
![]() | spf.ps | 2001-08-02 11:29 | 114K | |
![]() | ne0.ps | 2001-08-05 20:12 | 56K | |
![]() | sppe.ps | 2001-08-05 20:22 | 24K | |
![]() | met0.ps | 2001-08-06 05:09 | 58K | |
![]() | cflr.ps | 2001-08-06 05:21 | 87K | |
![]() | auto5.ps | 2001-09-26 19:16 | 277K | |
![]() | enum.ps | 2001-12-07 10:32 | 190K | |
![]() | pols.ps | 2002-01-14 08:35 | 82K | |
![]() | cal.html | 2002-01-16 14:38 | 6.7K | |
![]() | m0.ps | 2002-02-05 12:10 | 104K | |
![]() | sim2.ps | 2002-04-17 14:29 | 120K | |
![]() | wilson.ps | 2002-06-10 14:01 | 78K | |
![]() | as0.ps | 2002-08-19 11:36 | 283K | |
![]() | change.ps | 2002-09-03 10:03 | 92K | |
![]() | change2.ps | 2002-11-08 09:32 | 101K | |
![]() | cube.ps | 2003-02-25 13:28 | 111K | |
![]() | vas.ps | 2003-04-11 16:39 | 305K | |
![]() | hamm2.ps | 2003-09-02 08:55 | 123K | |
![]() | ng2.ps | 2003-09-10 12:49 | 97K | |
![]() | ks.p | 2003-11-15 11:05 | 4.8K | |
![]() | ksmaple | 2003-11-15 11:07 | 2.1K | |
![]() | ciaa-04.pdf | 2004-11-25 03:16 | 206K | |
![]() | Lee/ | 2004-11-25 03:29 | - | |
![]() | bbr.ps | 2004-12-30 07:38 | 100K | |
![]() | simple.ps | 2005-06-13 10:26 | 22K | |
![]() | carissan.html | 2005-07-04 08:01 | 1.0K | |
![]() | ip0.pdf | 2006-12-29 11:43 | 189K | |
![]() | cas.pdf | 2008-07-31 12:17 | 172K | |
![]() | hh.pdf | 2009-03-08 11:58 | 107K | |
![]() | allshall-hanoi-corrected.pdf | 2009-03-13 08:37 | 107K | |
![]() | parberry.pdf | 2009-07-28 15:35 | 53K | |
![]() | ch.pdf | 2009-07-28 15:35 | 132K | |
![]() | lata2011_submission_58.pdf | 2011-01-08 05:01 | 192K | |
![]() | lata-data.txt | 2011-01-08 05:24 | 2.9M | |
![]() | stages.pdf | 2011-02-11 09:15 | 133K | |
![]() | thesispt1.pdf | 2011-05-06 09:53 | 2.0M | |
![]() | thesispt2.pdf | 2011-05-06 09:53 | 4.1M | |
![]() | re3.pdf | 2011-06-09 07:59 | 380K | |
![]() | jeff-pf1-qq.pdf | 2012-01-27 06:26 | 527K | |
![]() | mersenne.tgz | 2012-10-23 02:14 | 328K | |
![]() | mersenne-chains.txt | 2012-10-23 11:16 | 123K | |
![]() | ras-reversed.pdf | 2013-02-13 10:12 | 3.4M | |
![]() | foan2.pdf | 2013-03-26 17:09 | 58K | |
![]() | scf.ps | 2013-03-26 18:51 | 395K | |
![]() | br10.pdf | 2015-01-22 07:43 | 210K | |
![]() | shallit-bell-triangle.pdf | 2015-01-23 13:00 | 99K | |
![]() | part1.pdf | 2015-04-10 14:40 | 528K | |
![]() | part2a.pdf | 2015-04-10 14:40 | 1.5M | |
![]() | part3.pdf | 2015-04-10 14:40 | 333K | |
![]() | Walnut.zip | 2015-04-10 14:40 | 2.2M | |
![]() | paperf2.txt | 2015-08-09 15:12 | 689 | |
![]() | PD.txt | 2015-08-09 15:12 | 88 | |
![]() | PR.txt | 2015-08-09 15:12 | 160 | |
![]() | P.txt | 2015-08-09 15:12 | 160 | |
![]() | rs2.txt | 2015-08-09 15:12 | 689 | |
![]() | RS.txt | 2015-08-11 07:26 | 160 | |
![]() | tm.txt | 2015-12-01 07:37 | 2.2K | |
![]() | rs.txt | 2015-12-01 07:38 | 1.7K | |
![]() | paperf.txt | 2015-12-01 07:38 | 1.3K | |
![]() | fib.txt | 2015-12-01 07:39 | 1.9K | |
![]() | periodd.txt | 2015-12-01 07:39 | 2.0K | |
![]() | part2e.pdf | 2016-02-10 14:54 | 403K | |
![]() | part1e.pdf | 2016-02-10 14:56 | 583K | |
![]() | part3b.pdf | 2016-02-19 06:12 | 357K | |
![]() | aut3.pdf | 2016-03-02 03:58 | 682K | |
![]() | ubiq15.pdf | 2016-05-04 11:49 | 182K | |
![]() | trib-predicates.txt | 2016-06-28 13:05 | 1.7K | |
![]() | TR.txt | 2016-06-28 13:05 | 120 | |
![]() | ghs-corrections.png | 2016-07-25 15:09 | 51K | |
![]() | thm1.txt | 2017-06-30 11:34 | 205K | |
![]() | thm11a.txt | 2017-06-30 11:34 | 6.9K | |
![]() | thm11b.txt | 2017-06-30 11:34 | 11K | |
![]() | thm18.txt | 2017-06-30 11:34 | 59K | |
![]() | thm6.txt | 2017-06-30 11:34 | 51K | |
![]() | prop5.txt | 2017-06-30 11:34 | 138K | |
![]() | main3.pdf | 2017-06-30 11:36 | 287K | |
![]() | stacs-2018-sums.pdf | 2017-09-22 11:03 | 463K | |
![]() | Palindromes-proofs.zip | 2017-09-25 18:38 | 2.2M | |
![]() | Squares-Files.zip | 2017-10-13 15:12 | 1.0M | |
![]() | moeb11 | 2017-11-12 04:18 | 665 | |
![]() | bell-hare-shallit.txt | 2018-03-28 14:48 | 622 | |
![]() | thm12.txt | 2018-04-23 17:31 | 1.3K | |
![]() | thm15.txt | 2018-04-23 17:31 | 1.2K | |
![]() | thm2.txt | 2018-04-23 17:31 | 1.2K | |
![]() | thm5.txt | 2018-04-23 17:31 | 1.8K | |
![]() | thm7.txt | 2018-04-23 17:31 | 1.0K | |
![]() | thm9.txt | 2018-04-23 17:31 | 841 | |
![]() | minimization-problem.png | 2018-04-29 09:56 | 63K | |
![]() | aplcode1.png | 2018-05-18 11:52 | 20K | |
![]() | aplcode2.png | 2018-05-18 11:52 | 26K | |
![]() | shallit-cantor-1991.pdf | 2018-06-04 12:17 | 421K | |
![]() | circ-pf-walnut.txt | 2018-08-28 18:29 | 7.5K | |
![]() | circ-tm-walnut-cmds.txt | 2018-08-28 18:30 | 6.3K | |
![]() | swart5.pdf | 2018-12-05 05:59 | 330K | |
![]() | cyclically-squarefree.txt | 2019-04-17 07:42 | 4.3K | |
![]() | unbordered-factors.txt | 2019-04-17 07:42 | 1.3K | |
![]() | war.tar | 2019-11-27 07:20 | 3.5M | |
![]() | palmin.tar | 2020-01-03 18:18 | 11M | |
![]() | merge.pdf | 2020-02-23 07:32 | 587K | |
![]() | pin-walnut.txt | 2020-05-27 03:07 | 850 | |
![]() | rb-computations.txt | 2020-08-04 04:26 | 1.4K | |
![]() | TRL.txt | 2020-11-01 03:13 | 56 | |
![]() | TRAS.txt | 2020-11-03 03:42 | 1.6K | |
![]() | TRAC.txt | 2020-11-03 03:42 | 1.6K | |
![]() | abelian.txt | 2021-02-19 16:36 | 6.2K | |
![]() | dekking-fib-walnut.txt | 2021-03-07 08:37 | 1.3K | |
![]() | FTM.txt | 2021-03-07 08:37 | 66 | |
![]() | FTMD.txt | 2021-03-07 08:37 | 288 | |
![]() | ftmatrix.mpl | 2021-03-07 08:38 | 9.3K | |
![]() | shift.txt | 2021-03-21 13:08 | 56 | |
![]() | fibinc.txt | 2021-03-21 13:08 | 86 | |
![]() | walnut-frob-proofs.txt | 2021-03-21 13:12 | 4.3K | |
![]() | rab-computations.txt | 2021-03-23 09:58 | 1.4K | |
![]() | HC.txt | 2021-06-03 05:54 | 272 | |
![]() | hsec3.txt | 2021-06-03 05:55 | 843 | |
![]() | hsec5.txt | 2021-06-03 05:59 | 848 | |
![]() | hsec6.txt | 2021-06-03 05:59 | 401 | |
![]() | HS.txt | 2021-06-03 06:00 | 552 | |
![]() | TP.txt | 2021-12-22 15:25 | 600 | |
![]() | as0.pdf | 2021-12-23 17:04 | 329K | |
![]() | auto2.pdf | 2021-12-23 17:04 | 301K | |
![]() | auto3.pdf | 2021-12-23 17:04 | 258K | |
![]() | auto4.pdf | 2021-12-23 17:04 | 282K | |
![]() | auto5.pdf | 2021-12-23 17:04 | 269K | |
![]() | autorat.pdf | 2021-12-23 17:04 | 262K | |
![]() | avoidd.pdf | 2021-12-23 17:04 | 191K | |
![]() | bbr.pdf | 2021-12-23 17:05 | 163K | |
![]() | cflr.pdf | 2021-12-23 17:05 | 157K | |
![]() | change2.pdf | 2021-12-23 17:05 | 164K | |
![]() | change.pdf | 2021-12-23 17:05 | 150K | |
![]() | cube.pdf | 2021-12-23 17:05 | 138K | |
![]() | enum.pdf | 2021-12-23 17:05 | 244K | |
![]() | fix0.pdf | 2021-12-23 17:05 | 133K | |
![]() | fixed2.pdf | 2021-12-23 17:05 | 248K | |
![]() | hamm2.pdf | 2021-12-23 17:05 | 174K | |
![]() | lagarias.pdf | 2021-12-23 17:05 | 135K | |
![]() | linalg.pdf | 2021-12-23 17:06 | 331K | |
![]() | m0.pdf | 2021-12-23 17:06 | 125K | |
![]() | met0.pdf | 2021-12-23 17:06 | 101K | |
![]() | minimal5.pdf | 2021-12-23 17:06 | 124K | |
![]() | ne0.pdf | 2021-12-23 17:06 | 100K | |
![]() | nfa.pdf | 2021-12-23 17:06 | 152K | |
![]() | ng2.pdf | 2021-12-23 17:06 | 128K | |
![]() | ntfl.pdf | 2021-12-23 17:06 | 292K | |
![]() | pols.pdf | 2021-12-23 17:06 | 112K | |
![]() | pseudo.pdf | 2021-12-23 17:06 | 221K | |
![]() | scf.pdf | 2021-12-23 17:07 | 86K | |
![]() | sep3.pdf | 2021-12-23 17:07 | 207K | |
![]() | sim2.pdf | 2021-12-23 17:07 | 199K | |
![]() | simple.pdf | 2021-12-23 17:07 | 43K | |
![]() | spf.pdf | 2021-12-23 17:07 | 93K | |
![]() | sppe.pdf | 2021-12-23 17:07 | 31K | |
![]() | swart.pdf | 2021-12-23 17:07 | 218K | |
![]() | thue.pdf | 2021-12-23 17:07 | 152K | |
![]() | ubiq.pdf | 2021-12-23 17:07 | 220K | |
![]() | vas.pdf | 2021-12-23 17:07 | 295K | |
![]() | wilson.pdf | 2021-12-23 17:08 | 149K | |
![]() | RS4.txt | 2023-01-31 18:50 | 140 | |
![]() | rss.txt | 2023-01-31 18:50 | 299 | |
![]() | rst.txt | 2023-01-31 18:50 | 368 | |
![]() | rs-walnut-code.txt | 2023-02-01 05:15 | 7.9K | |
![]() | mignosi.txt | 2023-02-10 09:44 | 1.3K | |
![]() | f30.txt | 2023-02-24 15:59 | 763 | |
![]() | f31.txt | 2023-02-24 16:07 | 662 | |
![]() | f32.txt | 2023-02-24 16:07 | 606 | |
![]() | f50.txt | 2023-02-24 16:07 | 4.8K | |
![]() | f51.txt | 2023-02-24 16:07 | 14K | |
![]() | conv55.txt | 2023-02-24 16:09 | 610 | |
![]() | normalize.txt | 2023-03-03 07:12 | 76 | |
![]() | CODE.txt | 2023-03-03 07:17 | 141 | |
![]() | LOOK.txt | 2023-03-03 07:18 | 1.9K | |
![]() | look1.txt | 2023-03-03 07:18 | 1.5K | |
![]() | look2.txt | 2023-03-03 07:18 | 577 | |
![]() | first-order-walnut-code.txt | 2023-03-03 07:45 | 5.0K | |
![]() | allmaple.tar | 2023-05-05 07:49 | 330K | |
![]() | allcode.tar | 2023-05-05 07:49 | 110K | |
![]() | shallit-fractals-bitmaps.pdf | 2023-07-12 07:35 | 1.4M | |
![]() | shallit-homology.pdf | 2023-07-12 07:35 | 434K | |
![]() | shallit-infinite-arrays.pdf | 2023-07-12 07:35 | 354K | |
![]() | shallit-quadRL.pdf | 2023-07-12 07:35 | 547K | |
![]() | extending-apl-shallit.pdf | 2023-07-16 15:15 | 16M | |
![]() | K.txt | 2023-10-22 09:06 | 106 | |
![]() | kimauts.tar | 2023-10-22 09:08 | 29K | |
![]() | kimnumer.tar | 2023-10-22 09:08 | 9.0K | |
![]() | ssz-sec5.txt | 2023-10-24 07:27 | 3.6K | |
![]() | ssz-sec4.txt | 2023-10-24 07:28 | 1.5K | |
![]() | X.txt | 2023-10-24 07:31 | 101 | |
![]() | Y.txt | 2023-10-24 07:31 | 101 | |
![]() | ssz-sec3.txt | 2023-10-24 07:32 | 1.2K | |
![]() | ssz.tar | 2023-10-24 07:36 | 170K | |
![]() | rare.tar | 2023-10-30 16:58 | 31K | |
![]() | rarefied-walnut-cmds.txt | 2023-10-30 17:02 | 2.8K | |
![]() | shallit-ima-1999.pdf | 2024-04-26 14:37 | 20M | |
![]() | Y2.txt | 2024-06-12 09:30 | 89 | |
![]() | ARS-remark12.txt | 2024-06-12 09:31 | 206 | |
![]() | W.txt | 2024-06-12 09:34 | 591 | |
![]() | Z.txt | 2024-06-12 09:40 | 117 | |
![]() | ARS-table2.txt | 2024-06-12 10:30 | 603 | |
![]() | ARS-table1.txt | 2024-06-12 10:31 | 2.1K | |
![]() | ARS-remark12b.txt | 2024-06-12 10:39 | 83 | |
![]() | ARS-thm13.txt | 2024-06-12 10:44 | 139 |