The advent of mathematical software has been one of the most important events in mathematics. Mathematical software systems are used to construct examples, to p

This book constitutes the refereed proceedings of the Second International Congress on Mathematical Software, ICMS 2006. The book presents 45 revised full paper

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a series of meeti

The four-volume set LNCS 11746–11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019,