CatsAreCool

6 ms·

1.
by CatsAreCool 5y ago
I'm working on a language MathLingua (www.mathlingua.org) whose goal is to precisely describe mathematics using a format that is easy to read and understand to help address ambiguity in mathematical texts written using natural language
2.
by CatsAreCool 5y ago
It is similar. However, where omdoc seems to focus on storing math concepts in a precise way, it’s focus doesn’t appear to be on easily hand writing concepts in that format. MathLingua, on the other hand, focuses on being precise and easy t
3.
by CatsAreCool 5y ago
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.
4.
by CatsAreCool 5y ago
Looks interesting. Thanks for the link.
5.
by CatsAreCool 5y ago
Great feedback. This is one of the areas that I designed MathLingua to help with. Every definition has a ‘written:’ section describing how to express the math idea on paper and a ‘called:’ section describing how it is described when speakin
6.
by CatsAreCool 5y ago
I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.
7.
by CatsAreCool 5y ago
I haven’t added a reverse lookup yet where you provide a symbol and can find all things that the symbol can represent, but it is on the roadmap.
8.
by CatsAreCool 5y ago
Yes, you can. MathLingua makes no assumptions about what symbols are used to represent different math operations (other than KaTeX is used to render expressions and so you need to symbols KaTeX recognizes). As such you can use whatever vis
9.
by CatsAreCool 5y ago
This is the creator of MathLingua, a unique language for easily describing mathematical definitions, theorems, axioms, and conjectures. It is unique from LaTeX and theorem proving languages and has a different goal. See the documentation a
10.
Show HN: MathLingua – A Structured Language of Mathematics(mathlingua.org)
97 points by CatsAreCool 5y ago|23 comments
11.
by CatsAreCool 6y ago
I think having a tool but not being able to know how it works can be both amazing and frustrating at the same time (depending on the perspective of someone using the tool vs someone wanting to make the tool better). Both perspectives are eq
12.
by CatsAreCool 6y ago
I thought of this, but couldn't find a nice way to fit this into the syntax. That is, Theorem: "some text" is the same as Theorem: . "some text" Thus it would be hard to distinguish a named theorem w
13.
by CatsAreCool 6y ago
I have read through this before, but thanks for sharing the link.
14.
by CatsAreCool 6y ago
Thanks for letting me know about the typo. The dot space is used to mark arguments since some arguments span multiple lines but are connected. For example, in Theorem: . for: x where: y then: z . 'some statement'
15.
by CatsAreCool 6y ago
Cool. Thanks for letting me know.
16.
by CatsAreCool 6y ago
A Google Group has been created to discuss MathLingua and Mathematical Knowledge Management at https://groups.google.com/d/forum/mathlingua-discuss . Everyone is welcome to join.
17.
by CatsAreCool 6y ago
Cool. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss .
18.
by CatsAreCool 6y ago
Awesome. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss .
19.
by CatsAreCool 6y ago
It looks like there is a lot of shared interest in this area. fspeech, fdej, and others, what do you think of having a Google group, mailing list, or something similar to have a communication channel for anyone that wants to chat more? If y
20.
by CatsAreCool 6y ago
Your work looks really cool and your paper was a great read. I too didn’t like the syntax of MathML, and I agree the semantics needs to be in the software. For MathLingua I built a pattern matcher that is built in, but I haven’t tied MathLi
21.
by CatsAreCool 6y ago
I have a PhD in mathematics, I am a software engineer working at Google, and have practical experience with programming language design and usage. MathLingua is not a Google product and is not affiliated with Google in any way. Instead i
22.
by CatsAreCool 6y ago
Thanks for the feedback. I'll update the docs to make this more clear. The goal is to allow the building of a system so someone could ask, for example, "what are the known theorems that describe when a function uniformly continuo
23.
by CatsAreCool 6y ago
Thanks for the question. I have answered it in another question in the comments, and I'll update the docs to make the difference more clear.
24.
by CatsAreCool 6y ago
Thanks for the question. I thought about using LaTeX, however, it doesn't explain what a math statement means. Instead, it describes that it looks like. With MathLingua, the meaning is made precise so that a computer can understan
25.
by CatsAreCool 6y ago
Thanks for the feedback. I will definitely do that.
26.
by CatsAreCool 6y ago
It is already difficult to have a formalized math language with a level of formality that matches that found in papers. The goal of MathLingua, at this time, is to match such a level of formality that is in math books and papers. However, t
27.
by CatsAreCool 6y ago
Thanks! I wasn't sure how people would feel about the syntax, and I'm glad you like it.
28.
by CatsAreCool 6y ago
Thanks for the support! Yes, that is one of the goals, to make it really easy to find what is known in mathematics and contribute to that knowledge base. I have https://mathlore.org which is a demonstration of how such as syste
29.
by CatsAreCool 6y ago
Thanks for the links. I was not aware of Thomas Hale's research even though I searched extensively to try to find related work. His descriptions of what he wants to attain align with what I would like, a formalized way to describe wha
30.
by CatsAreCool 6y ago
Hello, this is the creator of MathLingua. MathLingua is still in development, and the documentation still needs work. However, I wanted to get feedback earlier rather than later to help guide development and the writing of the docs. Note th

More ›