Skip to content

Research at St Andrews

View of Computer Algebra Data from Coq

Research output: Contribution to conferencePaper

Details

Original languageEnglish
Pages74-89
Number of pages16
StatePublished - 2011
Event18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011 - Bertinoro, Italy
Duration: 18 Jul 201123 Jul 2011

Conference

Conference18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011
CountryItaly
CityBertinoro
Period18/07/1123/07/11

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

View graph of relations

Related by author

  1. 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 formSoftware

  2. 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 formSoftware

  3. GAP – Groups, Algorithms, and Programming, Version 4.9.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. 4 Jul 2018

    Research output: Non-textual formSoftware

  4. GAP – Groups, Algorithms, and Programming, Version 4.9.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. 5 May 2018

    Research output: Non-textual formSoftware

  5. GAP – Groups, Algorithms, and Programming, Version 4.8.10

    The GAP Group, 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. 15 Jan 2018

    Research output: Non-textual formSoftware

ID: 11506130