Track B: Calculemus (Chair: Gabriel Dos Reis)Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business.The topics of interest of Calculemus include but are not limited to:

Conferences on Intelligent Computer Mathematics
CICM 2012
8.13. July 2012
Jacobs University, Bremen, Germany
You must enable JavaScript to use this site
Last modified: December 19 2016 18:02:40 CET