| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
1 |
180227 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 27 Feb 2018 19:48:36 |
|
2 |
180306 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 6 Mar 2018 12:57:15 |
|
3 |
180307 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 8 Mar 2018 11:54:47 |
|
4 |
180308-PatheticFullSimplify |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 8 Mar 2018 18:03:41 |
|
5 |
180308 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 8 Mar 2018 12:26:23 |
|
6 |
180318 |
source |
Sun 17 Mar 2024 11:29:18 |
Sun 18 Mar 2018 12:08:36 |
|
7 |
180321 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 21 Mar 2018 19:25:03 |
|
8 |
180416 |
source |
Sun 17 Mar 2024 11:29:18 |
Mon 16 Apr 2018 11:35:59 |
|
9 |
Logoi-debug-180520 |
source |
Sun 17 Mar 2024 11:29:18 |
Sun 20 May 2018 20:00:22 |
|
10 |
SL2PortfolioProgram-180419-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 05:42:44 |
A unified verification program for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
11 |
SL2PortfolioProgram-180419 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 05:20:57 |
A unified verification program for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
12 |
SL2PortfolioProgram-180419-PrePruning |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 11:22:24 |
A unified verification program for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
13 |
SL2PortfolioProgram-180421 |
source |
Sun 17 Mar 2024 11:29:18 |
Sat 21 Apr 2018 13:57:10 |
A unified verification program for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
14 |
SL2PortfolioProgram-180517 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 17 May 2018 11:40:08 |
A unified verification program for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
15 |
SL2PortfolioTesting-180419-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 05:42:47 |
A unified verification testing suite for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
16 |
SL2PortfolioTesting-180419 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 05:20:54 |
A unified verification testing suite for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
17 |
SL2PortfolioTesting-180419-PrePruning |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 19 Apr 2018 11:22:03 |
A unified verification testing suite for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/SL2Portfolio/nb/Verification.pdf. |
18 |
Verification-180211 |
source |
Sun 17 Mar 2024 11:29:18 |
Sun 11 Feb 2018 12:22:56 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verfication.pdf. |
19 |
Verification-180212 |
source |
Sun 17 Mar 2024 11:29:18 |
Mon 12 Feb 2018 09:14:05 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
20 |
Verification-180213 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 13 Feb 2018 19:26:03 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
21 |
Verification-180215-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 15 Feb 2018 21:19:41 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
22 |
Verification-180215 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 15 Feb 2018 20:05:30 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
23 |
Verification-180219 |
source |
Sun 17 Mar 2024 11:29:18 |
Mon 19 Feb 2018 09:23:45 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
24 |
Verification-180220-Branch |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 20 Feb 2018 19:34:06 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
25 |
Verification-180220 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 20 Feb 2018 19:48:55 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
26 |
Verification-180221 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 21 Feb 2018 09:42:27 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
27 |
Verification-180222 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 22 Feb 2018 10:00:36 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
28 |
Verification-180227-Branch |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 27 Feb 2018 20:07:03 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
29 |
Verification-180227 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 27 Feb 2018 20:08:46 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
30 |
Verification-180228 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 28 Feb 2018 13:36:27 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
31 |
Verification-180301-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 1 Mar 2018 08:36:06 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
32 |
Verification-180301-3 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 1 Mar 2018 11:50:41 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
33 |
Verification-180301-4 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 1 Mar 2018 13:37:23 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
34 |
Verification-180301 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 1 Mar 2018 07:46:07 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
35 |
Verification-180302 |
source |
Sun 17 Mar 2024 11:29:18 |
Fri 2 Mar 2018 13:24:27 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
36 |
Verification-180304 |
source |
Sun 17 Mar 2024 11:29:18 |
Sun 4 Mar 2018 08:15:44 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
37 |
Verification-180306 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 6 Mar 2018 12:56:45 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
38 |
Verification-180307 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 7 Mar 2018 21:38:15 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
39 |
Verification-180313-LogP |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 13 Mar 2018 20:04:18 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
40 |
Verification-180316 |
source |
Sun 17 Mar 2024 11:29:18 |
Fri 16 Mar 2018 11:32:35 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
41 |
Verification180322-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 22 Mar 2018 11:45:23 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
42 |
Verification-180322 |
source |
Sun 17 Mar 2024 11:29:18 |
Thu 22 Mar 2018 10:35:26 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
43 |
Verification-180416 |
source |
Sun 17 Mar 2024 11:29:18 |
Mon 16 Apr 2018 11:40:11 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |
44 |
Verification-180417 |
source |
Sun 17 Mar 2024 11:29:18 |
Tue 17 Apr 2018 05:54:14 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |
45 |
Verification-180418-2 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 18 Apr 2018 05:10:04 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |
46 |
Verification-180418 |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 18 Apr 2018 04:21:45 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |
47 |
Verification |
source |
Sun 17 Mar 2024 11:29:18 |
Wed 18 Apr 2018 06:09:42 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |