Formalizing informal proofs written in Mathematical English
Mohan Ganesalingam “The Language of Mathematics” (Thesis)
Aarne Ranta “Type Theory and the Informal Language of Mathematics”
“Syntactic Categories in the Language of Mathematics”
Clauss Zinn “Understanding Informal Mathematical Proofs” (Thesis)
Kay O’Halloran “Mathematical Discourse: Language, Symbolism, and Visual Images” (Book)
Charles Wells “A Handbook of Mathematical Discourse” (Book)
Zinaida Trybulec “Some Remarks on The Language of Mathematical Texts”
Manfred Kerber “Informal and Formal Representations in Mathematics”
Candia Morgan “The Language of Mathematics”: Towards a Critical Analysis of Mathematics Texts”
Hans Kamp “From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory”” (Book)
Patrick Blackburn “Working with Discourse Representation Theory” (Book)
Uwe Weyle “Discourse Representation Theory” (Book)
Michael Bottner “Peirce Grammar”
“Relational Grammar” (Book from Thesis)
Renate Schmidt “Terminological Representation, Natural Language & Relation Algebra”
“Relational Grammars for Knowledge Representation”
Patrick Suppes “Elimination of quantifiers in the semantics of natural language by use of extended relation algebras”
Uta Priss “An application of relation algebra to lexical databases”
Stefan Anca “Natural Language and Mathematical Processing for Applicable Theorem Search” (Thesis)
Deyan Ginev “The Structure of Mathematical Expressions” (Thesis)
Mihai Grigore “Knowledge-poor Interpretation of Mathematical Expressions in Context” (Thesis)
Magdelena Walska “A Language Engineering Architecture for Processing Informal Mathematical Discourse”
Marie Blanke “Natural Language Processing of Mathematical Texts in mArachna”
Sabina Jeschke “Information extraction from mathematical texts by means of natural language processing techniques”
Knowledge Adaptation and Reasoning for Content Group (KWARC)
The Language and Mathematics Processing and Understanding Group (LaMaPUn)
Natural Language Proof Checking (Naproche)
Tenth International Conference on Mathematical Knowledge Management
European Summer School in Logic, Language, and Information
Andrew Aberdein “The Argument of Mathematics” (Book)
Edwin Coleman “The Role of Notation in Mathematics” (Thesis)
Florian Cajori “ A History of Mathematical Notations vol I & II”
Steven Schwartzman “The Words of Mathematics: An Etymological Dictionary of Mathematical Terms used in English”
IsarMathLib “A library of formalized mathematics for Isabelle/ZF theorem proving environment”
Mizar “Journal of Formalized Mathematics”
Coq Proof Assistant “The Coq Standard Library”
MetaMath “Metamath Proof Explorer”
Jeremy Avigad “A language for Mathematical Knowledge Management”
David Oakey English for Academic Purposes (ISU)