| (ↄ) | Dror Bar-Natan: AcademicPensieve: Projects: | About Recent Changes This Month Random |
Archive / 2014-07: MetaCalculi 2012-05: beta5.1 MetaCalculi.pdf UnitaryGammaNotes.pdf
<< Mathematica Notebooks >>
| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
|---|---|---|---|---|---|
| 1 | 200614-Extracts | source | 2024-03-17 11:28:57 | 2020-06-14 13:10:23 | α and Γ extracts from MetaCalculi.nb at pensieve://Projects/MetaCalculi/. |
| 2 | AlphaTrace | source | 2024-03-17 11:28:57 | 2015-05-18 10:47:44 | The trace in α-calculus. |
| 3 | KVinGamma | source | 2024-03-17 11:28:57 | 2019-03-10 19:40:43 | Verifying the full set of KV equations in Γ-calculus. |
| 4 | MetaCalculi | source | 2024-03-17 11:28:57 | 2020-06-12 16:36:30 | A common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 5 | MetaCalculi-Testing | source | 2024-03-17 11:28:57 | 2020-06-21 12:43:32 | Testing the common program for all w-meta-calculi. Continues pensieve://2014-07/MetaCalculi/. |
| 6 | UnitaryGamma-FindingL0 | source | 2024-03-17 11:28:57 | 2023-02-01 10:22:13 | Unitarity for Γ-calculus - finding the ${\mathcal L}_0$ for which $\bar{A}={\mathcal L}_0A$. |
| 7 | UnitaryGamma | source | 2024-03-17 11:28:57 | 2023-02-15 08:57:06 | Unitarity for Γ-calculus. |
<< Links >>
- Studied 2015-11-11 12:49:17: Sweeping a matrix rotates its graph What's new.
<< Images >>
