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

<< Mathematica Notebooks >>

 Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 200614-Extracts source 2020-06-14 13:03:31 2020-06-14 13:10:23 α and Γ extracts from MetaCalculi.nb at pensieve://Projects/MetaCalculi/.
2 AlphaTrace source 2015-12-17 20:18:22 2015-05-18 10:47:44 The trace in α-calculus.
3 KVinGamma source 2015-12-17 20:18:23 2019-03-10 19:40:43 Verifying the full set of KV equations in Γ-calculus.
4 MetaCalculi source 2015-12-17 20:18:23 2020-06-12 16:36:30 A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
5 MetaCalculi-Testing source 2015-12-17 20:18:23 2020-06-21 12:43:32 Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.

<< Links >>

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

<< Images >>


KVinGamma2.png

KVinGamma.png

<< Other Files >>

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


   <<  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   Sweeping a matrix rotates its graph What's new.URL