SCSCP
From MaRDI portal
Software:18758
swMATH6673MaRDI QIDQ18758FDOQ18758
Author name not available (Why is that?)
Cited In (12)
- A System for Computing and Reasoning in Algebraic Topology
- A scalable module system
- Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
- Collaborative Computer Algebra
- Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation
- Interfacing Coq + SSReflect with GAP
- Symbolic computation software composability protocol and its implementations
- OpenMath in SCIEnce: SCSCP and POPCORN
- A Singular web service for geometric computations
- View of Computer Algebra Data from Coq
- Generic, Type-Safe and Object Oriented Computer Algebra Software
- Symbolic Computation Software Composability
This page was built for software: SCSCP
