The Conference on Intelligent Computer Mathematics (CICM) is an organization and a conference dedicated to promoting the advancement of machine-supported reasoning, computation, and knowledge management in Science, Technology, Engineering, and Mathematics. CICM is the result of convergence of various research communities that organize a joint annual conference in which they are represented as conference tracks: Artificial Intelligence and Symbolic Computation (AISC), CALCULEMUS, Digital Mathematical Libraries (DML), and Mathematical Knowledge Management (MKM). This is the CICM home page.
Welcome to the
Conference on Intelligent Computer Mathematics
Last modified: November 22 2019 07:02:13 CET