(ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: | About Recent Changes This Month Random |
Archive Snips / 2017-06 2018-04 2018-05 Talks: Matemale-1804 GDOMorphism.pdf SL2Portfolio.pdf
Page | Created (UT) | Last Modified (UT) | |
---|---|---|---|
1 | Cheat Sheet SL2Portfolio on 180214 | 2018-02-14 13:28:56 | 2018-02-16 01:19:54 |
2 | Cheat Sheet SL2Portfolio on 180217 | 2018-02-17 19:46:49 | 2018-02-18 21:49:03 |
3 | Cheat Sheet SL2Portfolio on 180218 | 2018-02-17 19:46:49 | 2018-02-20 15:34:18 |
4 | Cheat Sheet SL2Portfolio on 180220 | 2018-02-20 15:32:55 | 2018-02-20 23:22:03 |
5 | Cheat Sheet SL2Portfolio on 180220, take 2 | 2018-02-20 15:32:55 | 2018-02-22 16:18:11 |
6 | Cheat Sheet SL2Portfolio on 180227 | 2018-02-28 13:37:30 | 2018-03-01 17:34:55 |
7 | Cheat Sheet SL2Portfolio on 180318 | 2018-03-18 21:48:29 | 2018-03-18 22:15:21 |
8 | Cheat Sheet SL2Portfolio on 180331 | 2018-03-31 18:33:07 | 2018-03-31 18:35:43 |
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
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. |