MathHub.info
Funded by:
A portal for active mathematical documents and an archive for flexiformal mathematics.
Start: August 2008
Prof. Dr. Michael Kohlhase
Prof. Dr. Andrea Kohlhase
M.Sc. Constantin Jucowski
M.Sc. Tom Wiesing
Dr. Katja Berčič
Funded by:
MathSearch
OAF
ODK
LATIN
MDH