News for hackers. Stuff that matters.
Re:Show HN: MathLingua – The Language of Mathematics by auggierose on Monday July 27, 2020 @04:20AM (#23963166)
There is a conference related to that topic starting today actually (CICM 2020). Registration might still be available. The subcategory that concerns things like math lingua is called mathematical knowledge management (MKM).
Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Tuesday July 28, 2020 @12:33AM (#23972300)
Cool. Thanks for letting me know.