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.

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
PatternClass Version 2.4.2: A permutation pattern class package (GAP package)
Hoffmann, R., Linton, S. & Albert, M., 24 Jul 2018
Research output: Non-textual form › Software

Research at St Andrews