VSDITLU: a Verified Symbolic Definite Integral Table Look-up

Research output: Contribution to conference › Paper

Ursula Hilda Mary Martin, AA Adams, H Gottliebsen, Stephen Alexander Linton, other 1

Discover related content
Find related publications, people, projects and more using interactive charts.

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-475
Research output: Contribution to journal › Article › peer-review
GAP – Groups, Algorithms, and Programming, Version 4.10.2
The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 19 Jun 2019
Research output: Non-textual form › Software
GAP – Groups, Algorithms, and Programming, Version 4.10.1
The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 23 Feb 2019
Research output: Non-textual form › Software
GAP – Groups, Algorithms, and Programming, Version 4.10.0
The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 1 Nov 2018
Research output: Non-textual form › Software
GAP – Groups, Algorithms, and Programming, Version 4.9.3
The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 Sep 2018
Research output: Non-textual form › Software

Research at St Andrews