Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

@inproceedings{Davenport2010IntelligentCM,
  title={Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings},
  author={J. Davenport and S. Autexier and J. Calmet and D. Delahaye and Patrick D. F. Ion and L. Rideau and R. Rioboo and A. Sexton},
  booktitle={AISC/MKM/Calculemus},
  year={2010}
}

Topics from this paper

Trends in Contemporary Computer Science
Flexary connectives in Mizar
Learning-Assisted Automated Reasoning with Flyspeck
Parallelizing Mizar
The Mizar Mathematical Library in OMDoc: Translation and Applications
Large Formal Wikis: Issues and Solutions
Some considerations on the usability of interactive provers