News for hackers. Stuff that matters.

A comment on Show HN: MathLingua – The Language of Mathematics. Parent comment

Re:Show HN: MathLingua – The Language of Mathematics by fspeech on Monday July 27, 2020 @02:25AM (#23962669)
Thanks! The symbolic computation aspect of your paper is very interesting. I would be very interested in checking out how conditional rewriting is achieved. Do you have more in depth writings on the theory and mechanics of your approach?
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by fdej on Monday July 27, 2020 @02:46AM (#23962744)
There is nothing in depth yet. I'm happy to discuss (here or by email).
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by fspeech on Monday July 27, 2020 @03:15AM (#23962868)
Cool. I have skimmed through the code base. I will email you with further questions.
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Monday July 27, 2020 @05:54AM (#23963618)
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 you are open to this (or have another suggestion) I’ll set one up and share the link here.

If you prefer email, that’s cool too.

[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by fdej on Monday July 27, 2020 @07:20AM (#23963995)
Sure, go ahead and set something up!
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Monday July 27, 2020 @08:41PM (#23971065)
Cool. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss.
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by fspeech on Monday July 27, 2020 @11:33AM (#23966069)
Yes that would be nice. Thanks!
[ Parent | on HN ]
Re:Show HN: MathLingua – The Language of Mathematics by CatsAreCool on Monday July 27, 2020 @08:41PM (#23971059)
Awesome. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss.
[ Parent | on HN ]