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