SCSCP
From MaRDI portal
Cited in
(26)- View of computer algebra data from Coq
- Collaborative computer algebra
- A Singular web service for geometric computations
- Interoperability in the OpenDreamKit project: the math-in-the-middle approach
- Interfacing Coq + SSReflect with GAP
- Symbolic computation software composability protocol and its implementations
- KANT/KASH
- fKenzo
- ParGAP
- jscl-meditor
- Symja
- ANUPQ
- STEXIDE
- Symgrid
- OOLACA
- OpenMath
- GAPDoc
- Generic, type-safe and object oriented computer algebra software
- Commons Math
- VirtualBox
- OpenMath in SCIEnce: SCSCP and POPCORN
- paramGeo3D
- A system for computing and reasoning in algebraic topology
- Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation
- A scalable module system
- Symbolic Computation Software Composability
This page was built for software: SCSCP
