Crowdsourced semantic annotation of scientific publications and tabular data in PDF
STEX+: a system for flexible formalization of linked data