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

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 13 articles , 1 standard article )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Minimair, Manfred: Collaborative computer algebra (2017)
  2. 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)
  3. Botana, Francisco; Kovács, Zoltán: A Singular web service for geometric computations (2015)
  4. Maier, P.; Stewart, R.; Trinder, P. W.: Reliable scalable symbolic computation: the design of SymGridPar2 (2014) ioport
  5. 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)
  6. Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
  7. Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve: Interfacing Coq + SSReflect with GAP (2012)
  8. Heras, Jónathan; Pascual, Vico; Rubio, Julio: A system for computing and reasoning in algebraic topology (2011)
  9. Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve: View of computer algebra data from Coq (2011)
  10. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  11. 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)
  12. Horn, Peter; Roozemond, Dan: OpenMath in SCIEnce: SCSCP and POPCORN (2009)
  13. 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