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