Follow
Mohan Ganesalingam
Mohan Ganesalingam
Fellow, Trinity College, University of Cambridge
Verified email at cam.ac.uk
Title
Cited by
Cited by
Year
The language of mathematics
M Ganesalingam
The language of mathematics, 17-38, 2013
682013
A fully automatic theorem prover with human-style output
M Ganesalingam, WT Gowers
Journal of Automated Reasoning 58 (2), 253-291, 2017
512017
Measuring semantic content in distributional vectors
A Herbelot, M Ganesalingam
Proceedings of the 51st Annual Meeting of the Association for Computational …, 2013
382013
The language of mathematics
M Ganesalingam
University of Cambridge, 2010
342010
A fully automatic problem solver with human-style output
M Ganesalingam, WT Gowers
arXiv preprint arXiv:1309.4501, 2013
312013
Modelling the mathematical discovery process
W Gowers, M Ganesalingam
Maxwell Institute Lecture, Fri, November 2, 102-193, 2012
42012
Type
M Ganesalingam
The Language of Mathematics, 113-156, 2013
22013
Composing distributions: Mathematical structures and their linguistic interpretation
M Ganesalingam, A Herbelot
Computational Linguistics 1 (1), 2006
22006
A Fully Automatic Theorem Prover with Human-Style Output
M Ganesalingam, WT Gowers
Proof Technology in Mathematics Research and Teaching, 13-57, 2019
12019
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
The system can't perform the operation now. Try again later.
Articles 1–13