Viewing profile — unicas

Pure employs the textual order which is often considered more intuitive and is also used in mainstream functional languages such as ML and Haskell. (The specificity order also has …

There's a lot of them. In principle every CAS that has a TeXmacs interface can do it (FriCAS, Maxima, Reduce ... oo). E.g. https://news.ycombinator.com/item?id=19465270 .

There are plenty of so called "derivations of Maxwell equations", however, I would not claim that they were based on U(1) necessarily. IMO ME are just the integrability conditions …

Don't forget Wikidpad -- https://github.com/WikidPad/WikidPad Hard to beat!

I use it for ages (besides emacs). Properly configured it can stick with emacs at ease. The console plugin, however, might benefit from a brush up, e.g. FX, so it could display Mat…

A cheer for sixel ;) https://saitoha.github.io/libsixel/ https://github.com/nilqed/latex2sixel

An emscripten version (runs in browser, just one file ;) https://github.com/nilqed/jsXSI

An emscripten version (runs in browser, just one file): https://github.com/nilqed/jsXSI