User Portlet
| Discussions |
|---|
| Thanks for this. Been hacking away in Mathematica for all these reasons... it's promising for a lot of reasons and then it's also adding to the computational irreducibility. I think its biggest value is going to be as "glue" between formal... |