The Hypertextual Electronic Library of Mathematics Project +
The Hypertextual Electronic Library of Mathematics Project is active in Bologna since 1999. Its aim is the development of a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. As a subsidiary