Collaborators institute Niedersächsischen Staats- und Universitätsbibliothek Göttingen, Mathematisches Forschungsinstitut