The Naproche project (Natural language Proof Checking) was initiated by Bernhard Schröder and Peter Koepke at the University of Bonn to focus on an interdisciplinary study of the semi-formal language of mathematics. A central goal of Naproche is to develop a controlled natural language (CNL) for mathematical texts and adapted proof checking software which checks texts written in the CNL for syn...

The growing use of information technologies such as mobile devices has had a major social and technological impact such as the growing use of Short Message Services (SMS), a communication system broadly used by cellular phone users. In 2011, it was estimated over 5.6 billion of mobile phones sending between 30 and 40 SMS at month. Hence the great importance of analyzing representation and norma...

said to be "popular" (they wrote learned Latin texts) and both ofwhom lived in the fourteenth century. Seemingly more relevant figures from the previous century, some with French associations, like Arnald of Villanova, Bartholomaeus Anglicus, Gilbertus Anglicus, and Roger Bacon, are either given less space or omitted. Hunt footnotes books, dissertations, and articles by the hundred, but again h...