1 |
191211 |
source |
Sun 17 Mar 2024 10:29:18 |
Thu 12 Dec 2019 08:58:55 |
|
2 |
CellExport |
source |
Sun 17 Mar 2024 10:29:18 |
Sat 17 Mar 2018 20:12:19 |
A program for exporting tagged cells, continues pensieve://Projects/PPSA/. |
3 |
GDO |
source |
Sun 17 Mar 2024 10:29:18 |
Tue 17 Apr 2018 04:14:25 |
Implementing and testing the category of Gaussian Differential Operators. |
4 |
k=2 Analysis in CU |
source |
Sun 17 Mar 2024 10:29:18 |
Wed 6 Feb 2019 17:09:07 |
Analysis of k=2 invariants in CU. |
5 |
k=2 Analysis in LogQU |
source |
Sun 17 Mar 2024 10:29:18 |
Mon 4 Mar 2019 18:49:53 |
Analysis of k=2 invariants in QU. |
6 |
k=2 Analysis in QU |
source |
Sun 17 Mar 2024 10:29:18 |
Sun 24 Feb 2019 14:09:28 |
Analysis of k=2 invariants in QU. |
7 |
k=2 Analysis in QU V2 |
source |
Sun 17 Mar 2024 10:29:18 |
Sun 24 Feb 2019 17:15:44 |
Analysis of k=2 invariants in QU. |
8 |
k=2 Analysis in QU V3 |
source |
Sun 17 Mar 2024 10:29:18 |
Tue 10 Dec 2019 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 |
Sun 17 Mar 2024 10:29:18 |
Tue 10 Dec 2019 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 |
Sun 17 Mar 2024 10:29:18 |
Thu 12 Dec 2019 14:21:47 |
Analysis of k=2 invariants in QU: Aiming to find the relationship with OP2. |
11 |
Logoi |
source |
Sun 17 Mar 2024 10:29:18 |
Tue 22 May 2018 06:07:32 |
Direct formulas for the sl2 logoi. |
12 |
MakeSnips |
source |
Sun 17 Mar 2024 10:29:18 |
Thu 17 May 2018 10:48:01 |
Make the snip files in Snips/. |
13 |
Qtheta |
source |
Sun 17 Mar 2024 10:29:18 |
Wed 6 Feb 2019 09:17:16 |
Invariance of k=2 under Qθ. |
14 |
Recycling |
source |
Sun 17 Mar 2024 10:29:18 |
Wed 18 Apr 2018 02:13:50 |
|
15 |
ShrinkingSD$g |
source |
Sun 17 Mar 2024 10:29:18 |
Mon 12 Feb 2018 17:43:08 |
|
16 |
SL2PortfolioProgram |
source |
Sun 17 Mar 2024 10:29:18 |
Wed 13 Feb 2019 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 |
Sun 17 Mar 2024 10:29:18 |
Mon 17 Jun 2019 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 |
Sun 17 Mar 2024 10:29:18 |
Wed 4 Apr 2018 18:28:20 |
|
19 |
Verification-Uix |
source |
Sun 17 Mar 2024 10:29:18 |
Sun 25 Mar 2018 14:52:07 |
A unified verification notebook for the sl_2-portfolio project, Uix version. Continues the Uxi version and pensieve://Projects/UEA. |