Authors:
Paul Libbrecht, Cyrille Desmoulins, Christian Mercat, Colette Laborde, Michael Dietrich, and Maxim Hendriks
Reference:
published at MKM 2008 - Mathematical Knowledge Management (GB ? Birmingham) - proceedings at http://www.springerlink.com/content/tn0772151762/