Interfacing Coq + SSReflect with GAP

DOI10.1016/j.entcs.2012.06.003zbMath1294.68124OpenAlexW2160478427WikidataQ113318103 ScholiaQ113318103MaRDI QIDQ5170233

Steve Linton, Vladimir Komendantsky, Olexandr Konovalov

Publication date: 22 July 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2012.06.003

zbMATH Keywords

OpenMathGAPCoqsymbolic computation software composability protocol

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items (1)

View of Computer Algebra Data from Coq

Uses Software

• Coq
• GAP
• SCSCP

Cites Work

• A Skeptic's approach to combining HOL and Maple
• Hints in Unification
• Packaging Mathematical Structures
• Working with Mathematical Structures in Type Theory
• Finite Groups Representation Theory with Coq
• Type-checking injective pure type systems
• Symbolic Computation Software Composability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interfacing Coq + SSReflect with GAP