Viewing profile — CatsAreCool

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 ambigui…

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. MathLi…

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 b…

Looks interesting. Thanks for the link.

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 ‘…

I’m glad you like it. One of the goals is to make discovering math easy and fun, in particular exploring theorems and definitions.

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.

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 …

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 …

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 someon…

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 distinguis…

I have read through this before, but thanks for sharing the link.

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 whe…

Cool. Thanks for letting me know.

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.

Cool. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss .

Awesome. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss .

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 co…

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…

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 produc…

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…

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.

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 meanin…

Thanks for the feedback. I will definitely do that.