(ↄ) | 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 AlphaTrace source 2015-12-17 19:18:22 2015-05-18 09:47:44 The trace in α-calculus.
2 KVinGamma source 2015-12-17 19:18:23 2019-03-10 18:40:43 Verifying the full set of KV equations in Γ-calculus.
3 MetaCalculi source 2015-12-17 19:18:23 2019-04-02 08:40:12 A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
4 MetaCalculi-Testing source 2015-12-17 19:18:23 2015-10-06 08:27:41 Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.

<< Links >>

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

<< Images >>


KVinGamma2.png

KVinGamma.png

<< Other Files >>

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


   <<  MetaCalculi  >>

All Subdirectories

Archive   nb   thumbs  

All Files

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