https://hackerpaper.kaipfister.de/p/2003.06181/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=25529546urn:hackerpapers:mention:2003.06181:25529546Thu, 24 Dec 2020 17:38:36 GMT<p>See also FunGrim: https://fungrim.org/ &gt; The Mathematical Functions Grimoire (Fungrim) is an open source library of formulas and data for special functions. Fungrim currently consists of 456 symbols (named mathematical objects), 3130 entries (definitions, formulas, tables, plots), and 82 topics (listings of entries). &quot;FunGrim: a symbolic library for special functions&quot; https://arxiv.org/abs/2003.06181</p><p><a href="https://hackerpaper.kaipfister.de/p/2003.06181/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.MShttps://news.ycombinator.com/item?id=23962437urn:hackerpapers:mention:2003.06181:23962437Mon, 27 Jul 2020 05:19:50 GMT<p>Indeed. I decided not to use MathML for various reasons: 1. The syntax is horrible (for writing by hand). 2. I&#x27;m more interested in computation than presentation, so something closer to S-expressions along the lines of Mathematica feels more comfortable to me. 3. The progress so far on defining semantics for content MathML has failed to impress me. Concretely, I think if you are trying to do semantic mathematics, you need an implementation of the semantics in software, not just a hand-written spec. Ideally this would be backed by a formal theorem proving system. So far I just do randomized…</p><p><a href="https://hackerpaper.kaipfister.de/p/2003.06181/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.MS