| | Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary |
|---|
| 1 |
180227 |
source |
2018-02-27 19:48:34 |
2018-02-27 19:48:36 |
|
| 2 |
180306 |
source |
2018-03-06 12:57:14 |
2018-03-06 12:57:15 |
|
| 3 |
180307 |
source |
2018-03-07 21:29:19 |
2018-03-08 11:54:47 |
|
| 4 |
180308-PatheticFullSimplify |
source |
2018-03-08 12:55:48 |
2018-03-08 18:03:41 |
|
| 5 |
180308 |
source |
2018-03-08 12:26:22 |
2018-03-08 12:26:23 |
|
| 6 |
180318 |
source |
2018-03-18 11:42:21 |
2018-03-18 12:08:36 |
|
| 7 |
180321 |
source |
2018-03-21 11:23:43 |
2018-03-21 19:25:03 |
|
| 8 |
180416 |
source |
2018-04-16 11:35:58 |
2018-04-16 11:35:59 |
|
| 9 |
Logoi-debug-180520 |
source |
2018-05-20 19:43:25 |
2018-05-20 20:00:22 |
|
| 10 |
SL2PortfolioProgram-180419-2 |
source |
2018-04-19 05:44:37 |
2018-04-19 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 |
2018-04-19 05:21:37 |
2018-04-19 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 |
2018-04-19 14:58:38 |
2018-04-19 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 |
2018-05-17 09:08:44 |
2018-04-21 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 |
2018-05-17 11:57:27 |
2018-05-17 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 |
2018-04-19 05:44:37 |
2018-04-19 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 |
2018-04-19 05:21:37 |
2018-04-19 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 |
2018-04-19 14:58:38 |
2018-04-19 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 |
2018-02-11 12:05:36 |
2018-02-11 12:22:56 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verfication.pdf. |
| 19 |
Verification-180212 |
source |
2018-02-12 09:18:06 |
2018-02-12 09:14:05 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 20 |
Verification-180213 |
source |
2018-02-15 19:44:00 |
2018-02-13 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 |
2018-02-18 09:37:49 |
2018-02-15 21:19:41 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 22 |
Verification-180215 |
source |
2018-02-15 20:19:33 |
2018-02-15 20:05:30 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 23 |
Verification-180219 |
source |
2018-02-19 09:26:57 |
2018-02-19 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 |
2018-02-11 12:24:47 |
2018-02-20 19:34:06 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 25 |
Verification-180220 |
source |
2018-02-20 19:49:04 |
2018-02-20 19:48:55 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 26 |
Verification-180221 |
source |
2018-02-21 09:43:58 |
2018-02-21 09:42:27 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 27 |
Verification-180222 |
source |
2018-02-22 10:01:00 |
2018-02-22 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 |
2018-02-27 20:07:36 |
2018-02-27 20:07:03 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 29 |
Verification-180227 |
source |
2018-02-28 10:25:39 |
2018-02-27 20:08:46 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 30 |
Verification-180228 |
source |
2018-02-28 13:36:57 |
2018-02-28 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 |
2018-03-01 11:07:18 |
2018-03-01 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 |
2018-03-01 11:50:51 |
2018-03-01 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 |
2018-03-01 13:37:38 |
2018-03-01 13:37:23 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 34 |
Verification-180301 |
source |
2018-03-01 07:46:47 |
2018-03-01 07:46:07 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 35 |
Verification-180302 |
source |
2018-03-02 13:34:26 |
2018-03-02 13:24:27 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 36 |
Verification-180304 |
source |
2018-03-04 12:10:05 |
2018-03-04 08:15:44 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 37 |
Verification-180306 |
source |
2018-03-07 10:05:30 |
2018-03-06 12:56:45 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 38 |
Verification-180307 |
source |
2018-03-08 10:24:47 |
2018-03-07 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 |
2018-02-20 18:45:58 |
2018-03-13 20:04:18 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 40 |
Verification-180316 |
source |
2018-03-17 19:58:48 |
2018-03-16 11:32:35 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 41 |
Verification180322-2 |
source |
2018-03-25 11:40:40 |
2018-03-22 11:45:23 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 42 |
Verification-180322 |
source |
2018-03-22 10:35:41 |
2018-03-22 10:35:26 |
A unified verification notebook for the $sl_2$-portfolio project; continues pensieve://Projects/PPSA/nb/Verification.pdf. |
| 43 |
Verification-180416 |
source |
2018-04-17 03:33:01 |
2018-04-16 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 |
2018-04-17 05:55:15 |
2018-04-17 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 |
2018-04-18 05:13:32 |
2018-04-18 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 |
2018-04-18 04:22:36 |
2018-04-18 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 |
2018-03-12 10:47:51 |
2018-04-18 06:09:42 |
A unified verification notebook for the $sl_2$-portfolio project, Uxi version. Continues pensieve://Projects/PPSA/nb/Verification.pdf. |