Output details
11 - Computer Science and Informatics
Heriot-Watt University
Article title
Computerizing Mathematical Text with MathLang
Type
D - Journal article
Title of journal
Electronic Notes in Theoretical Computer Science
Article number
-
Volume number
205
Issue number
C
First page of article
5
ISSN of journal
1571-0661
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Rigorous Systems
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
