I was looking at the math formulas yesterday, and it seems to me that if this should be useful then it must include the proof. That is a problem as a proof is a sequence of steps. How should we do that? And how do we describe the transition from one step to the next? The description of the transitions are in between the steps, and they are multilingual.

On Wed, Sep 21, 2016 at 5:53 PM, kaushal dudhat kaushal.2161@gmail.com wrote:

Hello,

My name is Kaushal and currently I and a friend are working on AskPlatypus as part of our master thesis. We want to add a module to AskPlatypus which answers mathematical questions with the use of Wikidata. As a first step we want to add more mathematical formulas to Wikidata. We extracted a lot of them from Wikipedia. There are 17838 formulas now. It would be great to get them uploaded into primary source tool. The list of formulas in primary source tool syntax is attached here.

Please have look. It would be great if someone could upload them into the primary sources tool.

Greetings Kaushal

---

Wikidata mailing list Wikidata@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata