Re:Show HN: MathLingua – A Structured Language of Mathematics
by gnull on Friday December 03, 2021 @07:21AM
(#29429184)
So is it like math written in natural language but more structured and cross-referenced?
[ Parent
| on HN ]
Re:Show HN: MathLingua – A Structured Language of Mathematics
by CatsAreCool on Friday December 03, 2021 @01:54PM
(#29433686)
That is correct, and the structure allows for computers to better understand the meaning of the math concepts being described, which opens the door to different analyses that can be done.