Modern technologies may prove their ability to support symbolic computing if Computer Algebra Systems are enabled for Service Oriented Architecture, SOA and Grid architectures. This paper introduces a system that allows Computer Algebra Systems to act as clients for Web/Grid services by calling or by combining their functionality, or to expose symbolic computing engines as support for such services. To compose functionality, static workflows with dynamic bindings and potentially, dynamic workflows can be used.
Hammond K., Al Zain A., Cooperman G., Petcu D., Trinder P. SymGrid: A framework for symbolic computation on the grid, In Proc. Euro-Par 2007 Parallel Processing , Lecture Notes in Computer Science, Springer, Vol. 4641, 2007, pp. 447–456.
Trinder P. , 'SymGrid: A framework for symbolic computation on the grid ' (2007 ) 4641 Proc. Euro-Par 2007 Parallel Processing : 447 -456 .
Cârstea A., Frîncu M., Macariu G., Petcu D., Hammond K. Generic access to web and grid-based symbolic computing services: the SymGrid-services framework, In Proc. International Symposium on Parallel and Distributed Computing , IEEE Computer Society Press, 2007, pp. 143–150.
Cârstea A., Frîncu M., Konovalov A., Macariu G., Petcu D. On service-oriented symbolic computing, In Proc. International Conference On Parallel Processing and Applied Mathematics 2007, Lecture Notes in Computer Science, Springer, in print.
Cârstea A., Macariu G., Frîncu M., Petcu D. Composing web-based mathematical services, The 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing , GridCAD, IEEE Computer Society Press, 2007, in print.
GAP Group , Groups, Algorithms & Programming, http://www.gap-system.org.
Buza A. The bounds of the distributed data-intensive computing systems, Pollack Periodica , Vol.2Supplement 1, 2007, pp. 85–96.
Buza A. , 'The bounds of the distributed data-intensive computing systems ' (2007 ) 2 Pollack Periodica : 85 -96 .
Dustdar, S., Schreiner W. A survey on web services composition, International Journal of Web and Grid Services , Vol. 1, No. 1, 2005, pp. 1–30.
Schreiner W. , 'A survey on web services composition ' (2005 ) 1 International Journal of Web and Grid Services : 1 -30 .
Denemark J., Kulshrestha A., Allen G. Deploying legacy applications on grids, In Proc.13th Annual Mardi Gras Conference, Frontiers of Grid Applications and Technologies , Baton Rouge, 2005, pp. 29–34.
Solomon A. Distributed computing for conglomerate mathematical systems, Joswig M. et al. (eds.), Algebra, Geometry and Software Systems , Springer, 2003, pp. 309–327.
Senger M., Rice P., Oinn T. Soaplab — a unified sesame door to analysis tools, In Cox, S. J. (ed.), Proc. UK e-Science, All Hands Meeting , 2003, pp. 509–513.
Huang Y., Taylor I., Walker D. W., Davies R. Wrapping legacy codes for grid-based applications, In IEEE International Parallel & Distributed Processing Symposium , IEEE Computer Society, 2003, pp. 139–147.
GENSS , http://genss.cs.bath.ac.uk/.
Naifer M., Kasem A., Ida T. A system of web services for symbolic computation, In Proc. Asian Workshop on Foundation of Software , Xiamen, 2007, pp. 145–152.
Casanova H., Dongarra J. NetSolve, a network server for solving computational science problems, In Inter. J. Supercomputer Appls. & HPC , Vol. 11, No. 3, 1997, pp. 212–223.
Dongarra J. , 'NetSolve, a network server for solving computational science problems ' (1997 ) 11 Inter. J. Supercomputer Appls. & HPC : 212 -223 .
Wolfram Research , MathLink, http://www.wolfram.com/solu-tions/mathlink/
Tepeneu D., Ida T. MathGridLink — A bridge between Mathematica and the grid, In Proc. the 20th Anniversary Conference of Japan Society for Software Science and Technology , 2003, pp. 74–77.
Eres M. H., Pound G. E., Jiao Z. et al. Implementation of a grid-enabled problem-solving environment in Matlab, In Future Generation Computer Systems , Elsevier, 2005. pp. 920–929.
Abramson D., Giddy J., Kolter L. High performance parametric modeling with Nimrod/G, A killer application for the global grid, In Proc. IEEE International Parallel & Distributed Processing Symposium , IEEE Computer Society, 2000, pp. 520–528.
Solomon A., Struble C. A. JavaMath — an API for Internet accessible mathematical services, In Proc. Asian Symposium on Computer Mathematics , 2001, pp. 151–160.
Konovalov A., Linton S. Symbolic computation software composability protocol specification , CIRCA preprint 2007/5, University of St Andrews, http://www-circa.mcs.stand.ac.uk/preprints.html
Chicha Y., Gaetano M. Mathematical web services : A case study, Technologies for eservices, Lecture Notes in Computer Science, Springer, Vol. 2819, 2003, pp. 155–167.
Gaetano M. , '' (2003 ) 2819 Mathematical web services: A case study, Technologies for eservices : 155 -167 .
Buswell S., Caprotti O., Dewar M. Mathematical service description language , Final version, 2003, http://monet. nag.co.uk/cocoon/monet/publicdocs/monet-msdl-final.pdf
GSBT , http://gsbt.sourceforge.net/
WebServiceStudio 2.0 , http://www.gotdotnet.com/team/tools/websvc/default.aspx
Aldinucci M., Danelutto M., Paternesi A., Ravazzolo R., Vanneschi M. Building interoperable grid-aware ASSIST applications via web-services, Proc. PARCO 2005: Parallel Computing , 2005, available at http://compass2.di.unipi.it/TR/Files/TR-05-24.pdf.gz.28-2