Symbolic computation software composability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5144 LNAI, Issue , 2008, Pages 285-295

  Freundt, Sebastian ^a   Horn, Peter ^b   Konovalov, Alexander ^c   Linton, Steve ^c   Roozemond, Dan ^d  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF KASSEL   (Germany)

^c UNIVERSITY OF ST ANDREWS   (United Kingdom)

^d EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTER NETWORKS; INFORMATION MANAGEMENT; INTERNET PROTOCOLS; KNOWLEDGE MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; SOFTWARE PACKAGES;

COMPOSABILITY; SYMBOLIC COM-PUTATION;

COMPUTER SOFTWARE;

EID: 51049119027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85110-3_24     Document Type: Conference Paper

References (26)

1. Besche, H.U., Eick, B.: Construction of finite groups. J. Symbolic Comput. 27(4), 387-404 (1999)
2. Besche, H.U., Eick, B., O'Brien, E.: The Small Groups Library, http://www-public.tu-bs.de:8080/~beick/soft/small/small.html
3. The Centre for Interdisciplinary Research in Computational Algebra (St Andrews, Scot land), http://www- circa.mes.st-and.ac.uk/
4. CNRS, Ecole Polytechnique (Palaiseau, France), http://www.polytechnique. fr/
5. The Dependable Systems Research Group at Heriot-Watt University, Edinburgh, Scotland, http://www.macs.hw.ac.uk/~dsg/content/public/home/home.php
6. The Discrete Algebra and Geometry group at the Technical University of Eindhoven, Netherlands, http://www.win.tue.nl/dw/dam/
7. Gamble, G., Nickel, W., O'Brien, E.: ANUPQ - ANU p-Quotient, GAP4 package, http://www.math.rwth-aachen.de/~Greg.Gamble/ANUPQ/
8. The GAP Group: GAP - Groups, Algorithms, and Programming, http ://www.gap-system.org
9. Von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge University Press, Cambridge (1999)
10. Grayson, D.R., Stillman, M.E.: Macaulay 2, a software system for research in algebraic geometry, http://www.math.uiuc.edu/Macaulay2/
11. The MathServe Framework, http://www.ags.uni-sb.de/~jzimmer/mathserve.html
12. MathBroker II: Brokering Distributed Mathematical Services, http://www.risc.uni-linz.ac.at/research/parallel/projects/mathbroker2/
13. Institute e-Austria Timisoara, Romania, http://www.ieat.ro/
14. The KANT group at the Technical University of Berlin. Germany, http://www.math.tu-berlin.de/~kant/
15. Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) Specification, Version 1.1. CIRCA (preprint, 2008), http://www.symbolic-computation.org/scscp/
16. Konovalov, A., Linton, S.: SCSCP - Symbolic Computation Software Composability Protocol. GAP 4 package
17. Maplesoft, Inc, Waterloo, Canada, http://www.maplesoft.com/
18. MONET, http://monet.nag.co.uk/
19. MuPAD. http://www.sciface.com
20. OpenMath. http://www.openmath.org
21. RISC-Linz, Austria, http://www.risc.uni-linz.ac.at/
22. SAGE: Open Source Mathematics Software, http://www.sagemath.org/
23. Roozemond, D.: OpenMath Content Dictionary: scscp1, http://www.win.tue. nl/SCIEnce/cds/scscp1.html
24. Roozemond, D.: OpenMath Content Dictionary: scsep2, http://www.win.tue. nl/SCIEnce/cds/scscp2.html
25. Symbolic Computation Infrastructure for Europe, http://www.symbolic- computation.org/
26. Research Group Computational Mathematics, Department of Mathematics, University of Kassel, Germany, http://www.mathematik.uni-kassel.de/compmath