LaTeX

Android

https://www.researchgate.net/post/Which_is_the_best_latex_editor_for_tablets_iOS_or_Android

http://appcrawlr.com/android-apps/best-free-apps-latex-editor

https://softwarerecs.stackexchange.com/questions/20227/offline-latex-editor-and-compiler-for-android

https://www.google.com/search?ie=UTF-8&client=tablet-android-samsung&source=android-browser&q=android+tex+editor

Other Platforms

https://itsfoss.com/latex-editors-linux/

Want Texmacs, not mentioned above. Might also work within GnuRoot on Android?

Fully programmable and also works as front end for Sage and more. Slow screen updates but nice keyboard entry of many symbols instead of relying on point and click. That should help with rough drafts in plain text files and use with mathjax etc.

https://en.m.wikipedia.org/wiki/GNU_TeXmacs

http://www.texmacs.org/tmweb/home/welcome.en.html

Consider also TexStudio and Lyx. Perhaps others?

https://en.m.wikipedia.org/wiki/Comparison_of_TeX_editors

https://en.m.wikipedia.org/wiki/TeXstudio

Meanwhile Cocalc more than adequate and can just rough out in text files when offline.

For offline focus on superset/supplement to Cocalc facilities.

Would be good to have enough skills to just use raw mathjax with keyboard shortcut macros in simple text editor so don’t rely on WYSIYG completely – be aware of \LaTeX codes.

Also investigate any facilities involving MathML etc that could carry semantics with Agda, Coq, Sage etc.

Leanpub Markua includes with {$$} and {\$$} markers.

WordPress similar?

Try to figure out a way to switch between standard prefix notation like f(g(h)) to more natural right hand suffix notation as in cats.

Haskell and Agda should be able to do this? So should Guile underlying Texmacs?

Related

Need to know macro collections, emacs etc snippets, Maths classification codes. Standard terminologies, main journals and publishers and their style guides etc. Peer review mechanisms with arxiv.org etc.

eg Pick notations for cats, Geometric Algebra etc. Vocabulary from Proofwiki, Wikipedia and Walter Noll?

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s