Concepedia

Mohan Ganesalingam

MG

Statistics

Publications

3

Citations

88

H-Index

3

Active since

2013

Affiliations

University of Cambridge(Current)

Mohan Ganesalingam is an author at University of Cambridge specializing in automated reasoning, engineering, and mathematical programming.

Top concepts

Publications per year

2013–2016

3

Publications

3

A Fully Automatic Theorem Prover with Human-Style Output

Mohan Ganesalingam, W. T. Gowers · Journal of Automated Reasoning · 2016 · 42 citations · Full text

Measuring semantic content in distributional vectors

Aurélie Herbelot, Mohan Ganesalingam · 2013 · 30 citations

A fully automatic problem solver with human-style output

Mohan Ganesalingam, W. T. Gowers · arXiv (Cornell University) · 2013 · 16 citations · Full text

, , +17

1–3 of 3