Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
There is not so much at the nLab about computational complexity, but I stumbled on a reference to the hardness of computing the order polynomial so I added it to this article (while also taking the opportunity to try yet another notation for finite ordinals!).
1 to 2 of 2