Jul 20, 2016 ... This joint volume of proceedings gathers together papers from the work- shops and Work in Progress section of the 9th Conference on Intelligent Com- puter Mathematics (CICM), held July 25-29 2016 in Bialystok, Poland. CICM has been held annually since 2008. Papers from the four main tracks at CICM.

Parts of this chapter have been published as a short paper “Digital Repository of Mathematical Formulae” by Cohl, McClain, Saunders, Schubotz, and Williams1 at the Conference on Intelligent Computer Mathematics (CICM) 2014, and as a full paper at CICM 2015 titled “Growing the DRMF with Generic LaTeX Sources” by.

13 ožu 2017 ... Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings 8543 (2014): 427. [5] Shotton, D. Semantic publishing: the coming revolution in scientific journal publishing. Learned Publishing 22.2 (2009): 85-94.