I think you might be interesting in this interactive papar: https://willcrichton.net/nota/
Show HN: MathLingua – A Structured Language of Mathematics
11–20 of 25 posts
Re: Show HN: MathLingua – A Structured Language of Mathematics
#12Does this handle ambiguity in definitions/standardization of expressions? Like, if I define entropy H(q,p) with mesures q (X), p(X) and with mesures a (y),b(y) , can I use the mathlingua parser to abstract this to the same representation? Or is it strictly a presentation layer?
Re: Show HN: MathLingua – A Structured Language of Mathematics
#13I think you have a typo in the front page example. It says "F(x) is indefinite integral of f(x) on A", but the interval is "I".
Re: Show HN: MathLingua – A Structured Language of Mathematics
#14This is very similar to Isabelle's Isar [1], except that Isar definitions and theorems can be formally verified.
MMathLingua has no doubt a much better presentation layer for mathematics than Isabelle/Isar. This can be improved with a custom presentation layer, see for example rendering of topological groups theory from IsarMathLib [2] written in Isar (disclaimer - my project).
Re: Show HN: MathLingua – A Structured Language of Mathematics
#15[deleted]
Re: Show HN: MathLingua – A Structured Language of Mathematics
#16The next natural step would be write down all theorems from kindergarten to undergrad and make them reproduciable with http://leanprover.github.io/
One could start with the almost 1000 pages of George Shoobridge Carr's a synopsis of elementary results in pure mathematics published in 1837. If someone were to update this book for 2021 I'm curious to know how many pages that might run to.
Re: Show HN: MathLingua – A Structured Language of Mathematics
#17Seems similar to http://openmath.org e.g. https://www.omdoc.org/about/ https://kwarc.info/systems/sTeX
Re: Show HN: MathLingua – A Structured Language of Mathematics
#18Have you thought about using madoko [1] as a backend for math rendering?
Madoko has great support for rendering maths for the web, by far superior to KaTeX and MathJax.
Re: Show HN: MathLingua – A Structured Language of Mathematics
#19Great project. BTW, I'm more and more interested in how to produce math for blind people. Although there is some recommendation about writring math in MathML, few (none?) screenreaders actually support it. Could this project help or could you tell me other resources about it? Thanks.
Re: Show HN: MathLingua – A Structured Language of Mathematics
#20So is it like math written in natural language but more structured and cross-referenced?