author: claudio sacerdoti coen

Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

Jacques Carette Lucas Dixon Claudio Sacerdoti Coen Stephen Watt

... OpenMath wiki [Lan09] not only provides sym- bol definitions, but also hosts discussions about them. Its architecture allows for linking symbols to further web resources, e.g. Wikipedia articles about mathematical concepts, which can ...

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 ...