ObjectivesAs computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The conference was organized by Serge Autexier (DFKI) and Michael Kohlhase (JUB), took place at Jacobs University in Bremen and consisted of five tracks
Invited talks were given by:
Workshops & Doctoral ProgrammeIn addition to the five main tracks, CICM 2012 hosted a number workshops and a doctoral programme.
Conferences on Intelligent Computer Mathematics
8.-13. July 2012
Jacobs University, Bremen, Germany
Last modified: December 20 2017 15:05:48 CET