M. Ganesalingam

A fully automatic problem solver with human-style output pdf

M. Ganesalingam, W. T. Gowers, M. Ganesalingam, 2013, ArXiv.

First-Year Report and Thesis Proposal

Mohan Ganesalingam, M. Ganesalingam, 2008 .

The Language of Mathematics: A Linguistic and Philosophical Investigation

Mohan Ganesalingam, M. Ganesalingam, 2013 .

The Language of Mathematics

Mohan Ganesalingam, M. Ganesalingam, 2013, Lecture Notes in Computer Science.

Measuring semantic content in distributional vectors

Aurélie Herbelot, Mohan Ganesalingam, Aurélie Herbelot, 2013, ACL.

A Fully Automatic Theorem Prover with Human-Style Output

M. Ganesalingam, W. T. Gowers, M. Ganesalingam, 2016, Journal of Automated Reasoning.

Composing distributions : mathematical structures and their linguistic interpretation

Aurélie Herbelot, Mohan Ganesalingam, Aurélie Herbelot, 2013 .