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

---