SCSCP
Symbolic Computation Software Composability Protocol In the direction of the software composability, on the first step we designed the Symbolic Computation Software Composability Protocol (SCSCP) by which a computer algebra system (CAS) may offer services and a client may employ them. We envisage clients for this protocol including: Web server which passes on the same services as Web services using SOAP/HTTP protocols to a variety of possible clients; Grid middleware; Another instance of the same CAS (in a parallel computing context); Another CAS running on the same computer system or remotely.
Keywords for this software
References in zbMATH (referenced in 13 articles , 1 standard article )
Showing results 1 to 13 of 13.
Sorted by year (- Minimair, Manfred: Collaborative computer algebra (2017)
- Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesing, Tom: Interoperability in the OpenDreamKit project: the math-in-the-middle approach (2016)
- Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
- Maier, P.; Stewart, R.; Trinder, P. W.: Reliable scalable symbolic computation: the design of SymGridPar2 (2014) ioport
- Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.: Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation (2013)
- Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
- Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve: Interfacing Coq + SSReflect with GAP (2012)
- Heras, Jónathan; Pascual, Vico; Rubio, Julio: A system for computing and reasoning in algebraic topology (2011)
- Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve: View of computer algebra data from Coq (2011)
- Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
- Linton, S.; Hammond, K.; Konovalov, A.; Al Zain, A. D.; Trinder, P.; Horn, P.; Roozemond, D.: Easy composition of symbolic computation software: a new lingua franca for symbolic computation (2010)
- Horn, Peter; Roozemond, Dan: OpenMath in SCIEnce: SCSCP and POPCORN (2009)
- Freundt, Sebastian; Horn, Peter; Konovalov, Alexander; Linton, Steve; Roozemond, Dan: Symbolic computation software composability (2008)
Further publications can be found at: http://www.symcomp.org/Publications