1 |
191211 |
source |
2024-03-17 10:29:18 |
2019-12-12 08:58:55 |
|
2 |
CellExport |
source |
2024-03-17 10:29:18 |
2018-03-17 20:12:19 |
A program for exporting tagged cells, continues pensieve://Projects/PPSA/. |
3 |
GDO |
source |
2024-03-17 10:29:18 |
2018-04-17 04:14:25 |
Implementing and testing the category of Gaussian Differential Operators. |
4 |
k=2 Analysis in CU |
source |
2024-03-17 10:29:18 |
2019-02-06 17:09:07 |
Analysis of k=2 invariants in CU. |
5 |
k=2 Analysis in LogQU |
source |
2024-03-17 10:29:18 |
2019-03-04 18:49:53 |
Analysis of k=2 invariants in QU. |
6 |
k=2 Analysis in QU |
source |
2024-03-17 10:29:18 |
2019-02-24 14:09:28 |
Analysis of k=2 invariants in QU. |
7 |
k=2 Analysis in QU V2 |
source |
2024-03-17 10:29:18 |
2019-02-24 17:15:44 |
Analysis of k=2 invariants in QU. |
8 |
k=2 Analysis in QU V3 |
source |
2024-03-17 10:29:18 |
2019-12-10 14:56:26 |
Analysis of k=2 invariants in QU: Brute determination of the relations between the k=2 coefficients. |
9 |
k=2 Analysis in QU V4 |
source |
2024-03-17 10:29:18 |
2019-12-10 15:03:16 |
Analysis of k=2 invariants in QU: Aiming to find the relationship with OP2. |
10 |
k=2 Analysis in QU V5 |
source |
2024-03-17 10:29:18 |
2019-12-12 14:21:47 |
Analysis of k=2 invariants in QU: Aiming to find the relationship with OP2. |
11 |
Logoi |
source |
2024-03-17 10:29:18 |
2018-05-22 06:07:32 |
Direct formulas for the sl2 logoi. |
12 |
MakeSnips |
source |
2024-03-17 10:29:18 |
2018-05-17 10:48:01 |
Make the snip files in Snips/. |
13 |
Qtheta |
source |
2024-03-17 10:29:18 |
2019-02-06 09:17:16 |
Invariance of k=2 under Qθ. |
14 |
Recycling |
source |
2024-03-17 10:29:18 |
2018-04-18 02:13:50 |
|
15 |
ShrinkingSD$g |
source |
2024-03-17 10:29:18 |
2018-02-12 17:43:08 |
|
16 |
SL2PortfolioProgram |
source |
2024-03-17 10:29:18 |
2019-02-13 18:51:56 |
A unified verification program for the sl_2-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
17 |
SL2PortfolioTesting |
source |
2024-03-17 10:29:18 |
2019-06-17 19:58:49 |
A unified verification testing suite for the sl_2-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
18 |
TheLinearLogoi |
source |
2024-03-17 10:29:18 |
2018-04-04 18:28:20 |
|
19 |
Verification-Uix |
source |
2024-03-17 10:29:18 |
2018-03-25 14:52:07 |
A unified verification notebook for the sl_2-portfolio project, Uix version. Continues the Uxi version and pensieve://Projects/UEA. |