unicas

4 ms·

1.
by unicas 3y ago
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 its advantages, however, and has actually been used with gre
2.
by unicas 3y ago
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 .
3.
by unicas 5y ago
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 for any conserved quantity (continuity equation):
4.
by unicas 5y ago
Don't forget Wikidpad -- https://github.com/WikidPad/WikidPad Hard to beat!
5.
by unicas 5y ago
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 MathJax/KaTeX or PNG ...
6.
by unicas 7y ago
A cheer for sixel ;) https://saitoha.github.io/libsixel/ https://github.com/nilqed/latex2sixel
7.
by unicas 7y ago
An emscripten version (runs in browser, just one file ;) https://github.com/nilqed/jsXSI
8.
by unicas 7y ago
An emscripten version (runs in browser, just one file): https://github.com/nilqed/jsXSI
9.
FriCAS – an advanced computer algebra system(fricas.github.io)
58 points by unicas 8y ago|11 comments
10.
The Pure TeXmacs Plugin [pdf](github.com)
1 points by unicas 8y ago|0 comments