AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Mohan Ganesalingam

Mohan Ganesalingam

University of Cambridge - Cambridge / United Kingdom
Others
AD Scientific Index ID: 6007316
person_outline Mohan Ganesalingam's MOST POPULAR ARTICLES
1-) The language of mathematics The Language of Mathematics: A Linguistic and Philosophical Investigation, 17-38, 2013
2-) A fully automatic theorem prover with human-style output Journal of Automated Reasoning 58 (2), 253-291, 2017
3-) Measuring semantic content in distributional vectors Proceedings of the 51st Annual Meeting of the Association for Computational …, 2013
4-) A fully automatic problem solver with human-style output arXiv preprint arXiv:1309.4501, 2013
5-) The language of mathematics University of Cambridge, 2010