SCSCP

swMATH6673MaRDI QIDQ18758FDOQ18758

Author name not available (Why is that?)

Described by source

• Easy composition of symbolic computation software: a new lingua franca for symbolic computation

Cited In (12)

• A scalable module system
• View of computer algebra data from Coq
• A system for computing and reasoning in algebraic topology
• Generic, type-safe and object oriented computer algebra software
• 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
• Symbolic Computation Software Composability
• Interoperability in the OpenDreamKit project: the math-in-the-middle approach
• Collaborative computer algebra

This page was built for software: SCSCP