Output details
11 - Computer Science and Informatics
Heriot-Watt University
Computerizing Mathematical Text with MathLang
<11>Based on an invited talk by Kamareddine at LSFA2007 Brazil, this paper sparked collaborations and exchange visits on symbolic computation between Scotland, Germany, Japan, Tunisia and Austria. It also led to further invited talks by Kamareddine at international conferences (SYNASC2007 Romania, ISR2009 Brasil, ISIICT2009 Jordan, Logic and Computer Science 2011 Austria, AMS-FMM2011 USA, Formal methods Tunisia 2011, TAAC'2012 Ukraine, FOMCAF2013 Italy, PAS2013 China). This article has also been invited for expansion to the Journal of Automated Reasoning special issue "Automated Proof Checking: 40 years of Mizar and Beyond" and to Siekmann's handbook on History of Logic.