Track C: MKM (Chair: Josef Urban)Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge.The conference is concerned with all aspects of mathematical knowledge management. A nonexclusive list of important topics includes:

Conferences on Intelligent Computer Mathematics
CICM 2014
7.11. July 2014
Coimbra, Portugal
You must enable JavaScript to use this site

News
 CICM 2015 will be in Washington DC
 Photos of CICM available here (All photos)
 CICM 2014 is over
 Slides of talks online
 Talks linked to the electronic publications
Last modified: December 19 2016 18:02:45 CET