Please note: The Mathemacs project has ended in September 2015. These pages are no longer maintained.
- Max Planck Institute for Mathematics in the Sciences (Leipzig, Germany) - Project leader
- Universität Bielefeld (Germany)
- Chalmers University of Technology (Gothenburg, Sweden)
- Inria (France)
- Ca'Foscari University of Venice (Italy)
- Università Politecnica delle Marche (Ancona, Italy)