@misc{RISC5603,
author = {Bruno Buchberger},
title = {{The Global Math Digital Library Initiative and Theorema}},
language = {english},
year = {2015},
month = {March 19},
note = {Invited talk at 2015 Tbilisi International Conference on Computer Science and Applied Mathematics},
institution = {Sokhumi State University, Tbilisi, Georgia},
conferencename = {2015 Tbilisi International Conference on Computer Science and Applied Mathematics}
}