11. AISC / 11. MKM / 19. Calculemus 2012: Bremen, Germany

Mathematical Knowledge Management 2012

Calculemus 2012

Artificial Intelligence and Symbolic Computation 2012

Digital Mathematics Libraries 2012

Systems and Projects 2012