Login / Signup
M. Ganesalingam
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 1
Top Topics
Theorem Prover
Mri Data
Mathematical Knowledge
Proof Search
Top Venues
CoRR
J. Autom. Reason.
</>
Publications
</>
M. Ganesalingam
,
W. T. Gowers
A Fully Automatic Theorem Prover with Human-Style Output.
J. Autom. Reason.
58 (2) (2017)
M. Ganesalingam
,
W. T. Gowers
A fully automatic problem solver with human-style output.
CoRR
(2013)