(ↄ) | Dror Bar-Natan: AcademicPensieve: 2012-07: | About Recent Changes This Month Random |
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | BCH20 | source | Sun 17 Mar 2024 10:27:49 | Tue 3 Jul 2012 09:52:24 | |
2 | Debugging-120704 | source | Sun 17 Mar 2024 10:27:49 | Wed 4 Jul 2012 20:03:54 | |
3 | FreeLie-120701 | source | Sun 17 Mar 2024 10:27:49 | Sun 1 Jul 2012 07:21:50 | A free-Lie calculator, at long last. (Continues pensieve://2011-02/). |
4 | FreeLie-120702 | source | Sun 17 Mar 2024 10:27:49 | Wed 4 Jul 2012 09:27:49 | A free-Lie calculator. |
5 | FreeLie-120708 | source | Sun 17 Mar 2024 10:27:49 | Mon 9 Jul 2012 11:48:08 | A free-Lie calculator. |
6 | FreeLie_Fork-120703 | source | Sun 17 Mar 2024 10:27:49 | Tue 3 Jul 2012 12:48:53 | A free-Lie calculator. |
7 | FreeLieLE-120712 | source | Sun 17 Mar 2024 10:27:49 | Thu 12 Jul 2012 16:11:32 | A free-Lie calculator, lazy evaluation version. |
8 | FreeLieLE-Unimplemented | source | Sun 17 Mar 2024 10:27:49 | Sat 21 Jul 2012 20:13:33 | |
9 | FreeLie | source | Sun 17 Mar 2024 10:27:49 | Mon 9 Jul 2012 21:00:19 | A free-Lie calculator. |
10 | muCalculusLE - 120722 | source | Sun 17 Mar 2024 10:27:49 | Sun 22 Jul 2012 15:12:51 | The free-Lie meta-crossed-product structure, lazy evaluation version. |
11 | muCalculus | source | Sun 17 Mar 2024 10:27:49 | Mon 9 Jul 2012 21:19:01 | The free-Lie meta-crossed-product structure. |