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.


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