The language of mathematics M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation, 17-38, 2013 | 95 | 2013 |
A fully automatic theorem prover with human-style output M Ganesalingam, WT Gowers Journal of Automated Reasoning 58, 253-291, 2017 | 76 | 2017 |
A fully automatic problem solver with human-style output M Ganesalingam, WT Gowers arXiv preprint arXiv:1309.4501, 2013 | 42 | 2013 |
Measuring semantic content in distributional vectors A Herbelot, M Ganesalingam Proceedings of the 51st Annual Meeting of the Association for Computational …, 2013 | 42 | 2013 |
The language of mathematics M Ganesalingam University of Cambridge, 2010 | 33 | 2010 |
Modelling the mathematical discovery process W Gowers, M Ganesalingam Maxwell Institute Lecture, Fri, November 2, 102-193, 2012 | 4 | 2012 |
Composing distributions: Mathematical structures and their linguistic interpretation M Ganesalingam, A Herbelot Computational Linguistics 1 (1), 2006 | 4 | 2006 |
Type M Ganesalingam, M Ganesalingam The Language of Mathematics: A linguistic and Philosophical Investigation …, 2013 | 3 | 2013 |
A fully automatic theorem Prover with human-style output M Ganesalingam, WT Gowers Proof technology in mathematics research and teaching, 13-57, 2019 | 1 | 2019 |
Ambiguity M Ganesalingam, M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation …, 2013 | | 2013 |
Extensions M Ganesalingam, M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation …, 2013 | | 2013 |
Typed Parsing M Ganesalingam, M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation …, 2013 | | 2013 |
First-Year Report and Thesis Proposal M Ganesalingam | | 2008 |