• Deutsch
  • English
  • Español
  • Français
  • Magyar
  • Nederlands
  • Suomeksi

Math-Bridge at Mathematical Knowledge Management

Math-Bridge will be presented at the Mathematical Knowledge Management (http://cicm2010.cnam.fr/mkm/) conference, in Paris on July 8th and 9th.

Paul Libbrecht will be presenting the notation census (http://wiki.math-bridge.org/display/ntns/).

Bastiaan Heeren will show how to manage domain reasoners for mathematics.

The conference now links to the preprints at ArXiV from the list of accepted papers (http://cicm2010.cnam.fr/mkm/accepted.html).

EU Logo