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

Jump to: Mathematica Notebooks | Other Files

## << Mathematica Notebooks >>

Notebook (.pdf)Source (.nb)CreatedLast ModifiedSummary
1 MetaCalculi-Program-150518 source 2024-03-17 11:28:57 2015-05-18 12:30:01 A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
2 MetaCalculi-Testing-150518 source 2024-03-17 11:28:57 2015-05-18 12:40:38 Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/.
3 PairingForGamma-230112 source 2024-03-17 11:28:57 2023-01-12 07:26:16
4 PairingForGamma source 2024-03-17 11:28:57 2023-01-12 07:41:14
5 Scratch-230120 source 2024-03-17 11:28:57 2023-01-20 05:40:41
6 UnitaryGamma-230119 source 2024-03-17 11:28:57 2023-01-19 08:29:29 Unitarity for Γ-calculus.
7 UnitaryGamma-230120 source 2024-03-17 11:28:57 2023-01-20 08:18:51 Unitarity for Γ-calculus.
8 UnitaryGamma-230124 source 2024-03-17 11:28:57 2023-01-24 07:48:09 Unitarity for Γ-calculus.
9 UnitaryGamma-230210 source 2024-03-17 11:28:57 2023-02-10 06:59:46 Unitarity for Γ-calculus.
10 UnitaryGamma-230214 source 2024-03-17 11:28:57 2023-02-14 05:44:26 Unitarity for Γ-calculus.

## << Other Files >>

MetaCalculi-Program-150518.m   MetaCalculi-Testing-150518.m   PairingForGamma.m

nb

## All 14 Files

index.html   MetaCalculi-Program-150518.m   MetaCalculi-Program-150518.nb   MetaCalculi-Testing-150518.m   MetaCalculi-Testing-150518.nb   PairingForGamma-230112.nb   PairingForGamma.m   PairingForGamma.nb   Scratch-230120.nb   UnitaryGamma-230119.nb   UnitaryGamma-230120.nb   UnitaryGamma-230124.nb   UnitaryGamma-230210.nb   UnitaryGamma-230214.nb