Folgen
Mohan Ganesalingam
Mohan Ganesalingam
Fellow, Trinity College, University of Cambridge
Bestätigte E-Mail-Adresse bei cam.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
The language of mathematics
M Ganesalingam, M Ganesalingam
The Language of Mathematics: A Linguistic and Philosophical Investigation, 17-38, 2013
842013
A fully automatic theorem prover with human-style output
M Ganesalingam, WT Gowers
Journal of Automated Reasoning 58, 253-291, 2017
672017
Measuring semantic content in distributional vectors
A Herbelot, M Ganesalingam
Proceedings of the 51st Annual Meeting of the Association for Computational …, 2013
412013
A fully automatic problem solver with human-style output
M Ganesalingam, WT Gowers
arXiv preprint arXiv:1309.4501, 2013
382013
The language of mathematics
M Ganesalingam
University of Cambridge, 2010
322010
Modelling the mathematical discovery process
W Gowers, M Ganesalingam
Maxwell Institute Lecture, Fri, November 2, 102-193, 2012
42012
Type
M Ganesalingam, M Ganesalingam
The Language of Mathematics: A linguistic and Philosophical Investigation …, 2013
32013
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, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13