| | Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
|---|
| 1 |
CUWork-190211 |
source |
Sun 17 Mar 2024 10:29:19 |
Mon 11 Feb 2019 18:52:35 |
The CU definitions. |
| 2 |
Engine-Speedy-190317 |
source |
Sun 17 Mar 2024 10:29:19 |
Mon 18 Mar 2019 05:14:22 |
The "speedy" engine. |
| 3 |
Engine-Speedy-190318 |
source |
Sun 17 Mar 2024 10:29:19 |
Sun 19 May 2019 07:15:20 |
The "Speedy" engine, before E3E4 de-clutter. |
| 4 |
Exponentiation-190213 |
source |
Sun 17 Mar 2024 10:29:19 |
Mon 9 Aug 2021 08:56:09 |
Exp relative to am, bm, cm, dm. |
| 5 |
Exponentiation-190613 |
source |
Sun 17 Mar 2024 10:29:19 |
Thu 13 Jun 2019 13:28:54 |
Exp relative to am, bm, cm, dm. |
| 6 |
Exponentiation-190616 |
source |
Sun 17 Mar 2024 10:29:19 |
Sun 16 Jun 2019 19:18:33 |
Exp relative to am, bm, cm, dm. |
| 7 |
Exponentiation-190617 |
source |
Sun 17 Mar 2024 10:29:19 |
Mon 17 Jun 2019 10:50:27 |
Exp relative to am, bm, cm, dm. |
| 8 |
IntegrationWithGammaCalculus-200408 |
source |
Sun 17 Mar 2024 10:29:19 |
Wed 8 Apr 2020 14:14:24 |
Integration with Γ-calculus. |
| 9 |
KV-190307 |
source |
Sun 17 Mar 2024 10:29:19 |
Thu 7 Mar 2019 17:05:05 |
Solving the KV equations ($k=0). |
| 10 |
Lambda |
source |
Sun 17 Mar 2024 10:29:19 |
Thu 13 Jun 2019 09:35:44 |
The Λ of CU. |
| 11 |
Objects-190510 |
source |
Sun 17 Mar 2024 10:29:19 |
Fri 10 May 2019 12:44:01 |
The Objects. |
| 12 |
Objects-190903 |
source |
Sun 17 Mar 2024 10:29:19 |
Tue 3 Sep 2019 17:37:24 |
The Objects. |