The language of mathematics M Ganesalingam, M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation, 17-38, 2013 | 84 | 2013 |

A fully automatic theorem prover with human-style output M Ganesalingam, WT Gowers Journal of Automated Reasoning 58, 253-291, 2017 | 62 | 2017 |

Measuring semantic content in distributional vectors A Herbelot, M Ganesalingam Proceedings of the 51st Annual Meeting of the Association for Computational …, 2013 | 41 | 2013 |

A fully automatic problem solver with human-style output M Ganesalingam, WT Gowers arXiv preprint arXiv:1309.4501, 2013 | 37 | 2013 |

The language of mathematics M Ganesalingam University of Cambridge, 2010 | 32 | 2010 |

Modelling the mathematical discovery process W Gowers, M Ganesalingam Maxwell Institute Lecture, Fri, November 2, 102-193, 2012 | 4 | 2012 |

Type M Ganesalingam, M Ganesalingam The Language of Mathematics: A Linguistic and Philosophical Investigation …, 2013 | 2 | 2013 |

Composing distributions: Mathematical structures and their linguistic interpretation M Ganesalingam, A Herbelot Computational Linguistics 1 (1), 2006 | 2 | 2006 |

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 |