Research output per year
Research output per year
Project Details
| Acronym | Solving word problems |
|---|---|
| Status | Finished |
| Effective start/end date | 1/11/11 → 31/10/14 |
Funding
- EPSRC: £37,037.60
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Article
-
Polynomial-time proofs that groups are hyperbolic
Holt, D., Linton, S., Neunhoeffer, M., Parker, R., Pfeiffer, M. & Roney-Dougal, C. M., May 2021, In: Journal of Symbolic Computation. 104, p. 419-475Research output: Contribution to journal › Article › peer-review
Open AccessFile2 Citations (Scopus)24 Downloads (Pure)