# 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.