author: cezary kaliszyk

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Manfred Kerber Jacques Carette Cezary Kaliszyk Florian Rabe Volker Sorge

... symbols. The generated Wikitext is converted to the MediaWiki xml-Dump format, which is then bulk imported to our wiki instance. Our DRMF Wiki has been optimized for MathML-output. Because we are using Mathoid to render mathematical ...

Intelligent Computer Mathematics: 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings

Cezary Kaliszyk Edwin Brady Andrea Kohlhase Claudio Sacerdoti Coen

Computers

... Diagram Combinators in MMT Florian Rabe1,2 and Yasmine Sharoda3(B) 1 Computer Science, FAU Erlangen-Nürnberg, Erlangen, Germany florian.rabe@fau.de 2 LRI, Université Paris Sud, Orsay, France 3 Computing and Software, McMaster University ...