(ↄ) | Dror Bar-Natan: AcademicPensieve: 2013-11:

About    Recent Changes    This Month    Random

Jump to: Mathematica Notebooks | Links | Images | Other Files

This is the construction page for a cheat sheet on the double tree construction.

2011-11   2013-04   2012-07: beta7.0  

DoubleTree.pdf  

<< Mathematica Notebooks >>

	Notebook (.pdf)	Source (.nb)	Created	Last Modified	Summary
1	DoubleTreeVerification	source	Sun 17 Mar 2024 10:27:54	Thu 9 Jul 2015 01:47:40	Formula testing for the future double-tree paper; continues pensieve://2013-10/.
2	muCalculus	source	Sun 17 Mar 2024 10:27:54	Mon 25 Nov 2013 05:03:27	μ-calculus programs, continues pensieve://2013-05/.
3	TrialityComputations	source	Sun 17 Mar 2024 10:27:54	Wed 8 Jul 2015 23:55:11	Understanding Rot120 / Triality.

<< Links >>

1. Studied Thu 21 Nov 2013 04:46:27: Dror Bar-Natan Publications Double Tree.

<< Images >>

<< Other Files >>

dbnsymb.51pk   dbnsymb.600pk   dbnsymb.mf   dbnsymb.sty   dbnsymb.tfm   DoubleTree1.fig   DoubleTree2.fig   DoubleTree.tex   DoubleTreeVerification.m   makefile   muCalculus.m   TrialityComputations.m   WKOSolution8-0.m   WKOSolution8-1.m  

---