(ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: SL2Portfolio: About    Recent Changes    This Month    Random

<<  Archive  >>  
Jump to: Mathematica Notebooks | Other Files

<< PDF >>  
SL2Portfolio@180417.pdf   SL2Portfolio-180420.pdf  

<< Mathematica Notebooks >>

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

<< Other Files >>

SL2Portfolio-180419-PrePruning.tex   SL2Portfolio-180420.tex   Verification-180311.m  


   <<  Archive  >>

All Subdirectories

nb  

All Files

180227.nb   180306.nb   180307.nb   180308.nb   180308-PatheticFullSimplify.nb   180318.nb   180321.nb   180416.nb   index.html   Logoi-debug-180520.nb   SL2Portfolio@180417.pdf   SL2Portfolio-180419-PrePruning.tex   SL2Portfolio-180420.pdf   SL2Portfolio-180420.tex   SL2PortfolioProgram-180419-2.nb   SL2PortfolioProgram-180419.nb   SL2PortfolioProgram-180419-PrePruning.nb   SL2PortfolioProgram-180421.nb   SL2PortfolioProgram-180517.nb   SL2PortfolioTesting-180419-2.nb   SL2PortfolioTesting-180419.nb   SL2PortfolioTesting-180419-PrePruning.nb   Verification-180211.nb   Verification-180212.nb   Verification-180213.nb   Verification-180215-2.nb   Verification-180215.nb   Verification-180219.nb   Verification-180220-Branch.nb   Verification-180220.nb   Verification-180221.nb   Verification-180222.nb   Verification-180227-Branch.nb   Verification-180227.nb   Verification-180228.nb   Verification-180301-2.nb   Verification-180301-3.nb   Verification-180301-4.nb   Verification-180301.nb   Verification-180302.nb   Verification-180304.nb   Verification-180306.nb   Verification-180307.nb   Verification-180311.m   Verification-180313-LogP.nb   Verification-180316.nb   Verification180322-2.nb   Verification-180322.nb   Verification-180416.nb   Verification-180417.nb   Verification-180418-2.nb   Verification-180418.nb   Verification.nb