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

<<  MetaCalculi  >>  
Jump to: Mathematica Notebooks | Links | Images | Other Files

<< Subfolders / Shortcuts >>  
Archive   /   2014-07: MetaCalculi   2012-05: beta5.1  

<< PDF >>  
MetaCalculi.pdf   UnitaryGammaNotes.pdf  

<< Mathematica Notebooks >>

 Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 200614-Extracts source 2020-06-14 12:03:31 2020-06-14 12:10:23 α and Γ extracts from MetaCalculi.nb at pensieve://Projects/MetaCalculi/.
2 AlphaTrace source 2015-12-17 19:18:22 2015-05-18 09:47:44 The trace in α-calculus.
3 KVinGamma source 2015-12-17 19:18:23 2019-03-10 18:40:43 Verifying the full set of KV equations in Γ-calculus.
4 MetaCalculi source 2015-12-17 19:18:23 2020-06-12 15:36:30 A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
5 MetaCalculi-Testing source 2015-12-17 19:18:23 2020-06-21 11:43:32 Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
6 PairingForGamma-230112 source 2023-01-12 06:33:34 2023-01-12 06:26:16  
7 PairingForGamma source 2023-01-11 08:12:33 2023-01-12 06:41:14  
8 UnitaryGamma-230120 source 2023-01-24 03:39:58 2023-01-20 07:18:51 Unitarity for Γ-calculus.
9 UnitaryGamma source 2023-01-19 05:35:46 2023-01-24 06:48:09 Unitarity for Γ-calculus.

<< Links >>

  1. Studied 2015-11-11 11:49:17: Sweeping a matrix rotates its graph What's new.

<< Images >>

previous full screen next


KVinGamma2.png

KVinGamma.png

<< Other Files >>

200614-Extracts.m   AlphaTrace.m   KVinGamma.m   MetaCalculi.aux   MetaCalculi.m   MetaCalculi.synctex   MetaCalculi-Testing.m   MetaCalculi.tex   PairingForGamma.m   UnitaryGamma.m  


   <<  MetaCalculi  >>

All Subdirectories

Archive   nb   thumbs  

All Files

200614-Extracts.m   200614-Extracts.nb   2014-07-MetaCalculi - Shortcut.lnk   AlphaTrace.m   AlphaTrace.nb   beta5.1 - Shortcut.lnk   index.html   KVinGamma2.png   KVinGamma.m   KVinGamma.nb   KVinGamma.png   MetaCalculi.aux   MetaCalculi.m   MetaCalculi.nb   MetaCalculi.pdf   MetaCalculi.synctex   MetaCalculi-Testing.m   MetaCalculi-Testing.nb   MetaCalculi.tex   PairingForGamma-230112.nb   PairingForGamma.m   PairingForGamma.nb   Sweeping a matrix rotates its graph What's new.URL   UnitaryGamma-230120.nb   UnitaryGamma.m   UnitaryGamma.nb   UnitaryGammaNotes.pdf