mathematical information extraction

The aim of mathematical information extraction is to be able to extract structured data that represent mathematical entities like definitions, theorems, properties, etc.

I have looked at this problems when I built the graph of mathematical knowledge of chère de prince. So, I know that there exists some annotations framework to ease the extraction.

This post accepts webmentions. Do you have the URL to your post?

Otherwise, send your comment on my service.

Or interact from the fediverse with your username: