Design of a digital mathematical library for science, technology and education | IEEE Conference Publication | IEEE Xplore