the Internet age is the availability of machine-actionable librari es of

mathematical knowledge as well as inform ation systems and semantic

services based on t hese libraries.

There are various mathema tical knowledge collections and information

sy stems available. They range from completely inform al ones like

Wikipedia or the Cornell arXiv\, zbMath\, and MathSciNet via mathematical

objec t databases like the GAP group libraries\, the Onl ine Encyclopedia

of Integer sequences (OEIS)\, and the L-functions and Modular Forms

Databas e (LMFDB) to theorem prover libraires like those o f Mizar\, Coq\,

PVS\, and the HOL systems.

Unfortunately\, while all of these individua lly constitute steps into the

direction of res earch data\, they attack the problem at different levels

(object\, vs. document level) and direc tion (description- vs.

classification-based) a nd are mutually incompatible and

not-interlink ed/aligned systematically.

I will survey methods and systems which can act as stepping ston es

towards unifying these seeds into a Global Digital Library of

Mathematics. These methods and systems are inherently of flexible

formali ty (flexiformal) and range from heavyweight method s like

developing modular meta-logical formats for co-representing logics and

libraries in a common global meaning-space via all kinds of libr ary

translations to lightweight methods for al igning and cross-linking such

libraries.

< br> I will exemplify the methods on pragmatic exam ples (e.g. translating

LaTeX to HTML5 for arXiv.org importing PVS to OMDoc/MMT\, or parsing the

OEIS) and discuss the infrastructu res we need for managing a global\,

flexiforma l digital mathematical mathematical library. LOCATION:Seminar Room 1\, Newton Institute CONTACT:INI IT END:VEVENT END:VCALENDAR