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. HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P. 10 Sep 2016 In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 33 p.

    Research output: Contribution to journalArticle

  2. S-crucial and bicrucial permutations with respect to squares

    Gent, I., Kitaev, S., Konovalov, A., Linton, S. & Nightingale, P. 3 Jun 2015 In : Journal of Integer Sequences. 18, 6, 22 p., 15.6.5

    Research output: Contribution to journalArticle

  3. Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

    Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H-W., Horn, P. & Roozemond, D. Feb 2013 In : Journal of Symbolic Computation. 49, p. 95-119 15 p.

    Research output: Contribution to journalArticle

  4. UPCGAP: A UPC package for the GAP system

    Johnson, N., Konovalov, A., Janjic, V. & Linton, S. A. 2013 p. 217-221

    Research output: Contribution to conferencePaper

  5. Interfacing Coq + SSReflect with GAP

    Komendantsky, V., Konovalov, A. & Linton, S. A. 19 Sep 2012 In : Electronic Notes in Theoretical Computer Science. 285, 19, p. 17-28

    Research output: Contribution to journalArticle

ID: 11506130