Show HN: ThmDex – Compendium of mathematical definitions, results, conjectures (thmdex.org)

7 points by pkapka 2y ago ↗ HN

This is something I built to help me organize my own notes while studying mathematics. Because of this, some definitions/names might be nonstandard. But it's a somewhat novel way to "browse" mathematical theory, so some may find this interesting.

The name originates from abbreviating "theorem" as "thm".

1 comment

[ 0.24 ms ] story [ 12.7 ms ] thread

mathlingua 2y ago ↗

Looks really cool. I am also really interested in this space and have been working on Mathlore (https://mathlore.org) that uses a custom language, Mathlingua (https://mathlingua.org) to record all aspects of mathematical knowledge: theorems, axioms, conjectures, definitions, symbols, books, people, and topics.