Now showing items 1-1 of 1

  • Interfacing Coq + SSReflect with GAP 

    Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
    We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...