The CALCULEMUS interest group is a loosely coupled network of research groups and individuals interested in joining forces for he design of a new generation of mathematical software systems and computer-aided verification tools based on the integration of the deduction and the computational power of deduction systems and computer algebra systems respectively.
A core subgroup of the interest group has been funded by a IHP network grant under the EU 5th framework in the past. In fact the interest group has evolved from this group's effort to gain this grant, which has been used to finance and support many of the CALCULEMUS Interest group's activities.