Interactive computer algebra system. http://guillefix.me/augmath

Nice similar software: https://graspablemath.com/canvas – https://github.com/trebor/algebranch#algebranch

https://www.facebook.com/guillermovalleperez/posts/10156105837656223

Get examples from here: https://brilliant.org/

https://keep.google.com/u/0/#search/text=augmath

Automatic simplification is kept to a minimum, to allow notation tricks used in practice for manipulation. I the future, a setting for which level of auto simplification is desired should be added.

It's hard to practice defensive programming when you are trying to give users so much freedom.

It's interesting how having several different representations of the math (in the latex, the math tree, and the html), I think we can be more efficient by seizing the most appropiate one for each task (like checking some property)

Yeah but don't simplify things because you'll loose the pattern ~ Shia

http://penrose.ink/

Parsing

AugMath at the moment does parsing, but without much validation.

Animating maths

Inputing maths

http://mathdox.org/formulaeditor/ Check this!!

MathQuill Slack channel: https://mathquill.slack.com/messages/mathquill/ See also their website

http://formulasheet.com/

Displaying maths

KaTeX, MathJax http://docs.mathjax.org/en/latest/advanced/extension-writing.html https://github.com/mathjax/MathJax-third-party-extensions/tree/master/physics

Interacting with maths

Maple Clickable maths

http://calcflow.io/

Computer algebra system

Check Ket algebra editor

Geometry software

http://www.cinderella.de/tiki-index.php

GeoGebra

Mathematical document

https://trac.omdoc.org/OMDoc

Mathematical markup language

Handwritten math recognition: https://www.facebook.com/groups/hackathonhackers/permalink/1265209943534488/

http://cat.prhlt.upv.es/mer/

Other mathematical software

http://www.matracas.org/sentido/

See stuff in GKeep and ~KTreeTop in Dropbox

http://cognitivemedium.com/emm/emm.html

http://immersivemath.com/ila/ch02_vectors/ch02.html

Mathematical markup language

http://worrydream.com/KillMath/

http://glench.com/LegibleMathematics/

https://betterexplained.com/articles/proofs-vs-explanations/?utm_source=twitterfeed&utm_medium=twitter&utm_campaign=Feed%3A+Betterexplained+%28BetterExplained%29

http://simblob.blogspot.co.uk/2016/10/outside-box.html

http://www.intmath.com/cg5/asciimathml-katex-mathjax.php

http://cdn.mathjax.org/mathjax/latest/test/sample-dynamic-steps.html

https://www.youtube.com/watch?v=sg_MK1t1Tqg

http://www.lamdu.org/

https://vimeo.com/97648370

https://equatio.texthelp.com/space

Wolfram on language for machines and humans and CAS

https://guillermovalleperez.wordpress.com/2018/06/01/human-human-interaction/