The language of mathematics M Ganesalingam The language of mathematics, 17-38, 2013 | 68 | 2013 |

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

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

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

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

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

Type M Ganesalingam The Language of Mathematics, 113-156, 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 The Language of Mathematics, 87-112, 2013 | | 2013 |

Extensions M Ganesalingam The Language of Mathematics, 237-247, 2013 | | 2013 |

Typed Parsing M Ganesalingam The Language of Mathematics, 157-173, 2013 | | 2013 |

First-Year Report and Thesis Proposal M Ganesalingam | | 2008 |