(ↄ) | 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 | 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. |