SymGrid-Par: Designing a framework for executing computational algebra systems on computational grids

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

Volumn 4488 LNCS, Issue PART 2, 2007, Pages 617-624

  Al Zain, Abdallah ^a   Hammond, Kevin ^b   Trinder, Phil ^a   Linton, Steve ^b   Loidl, Hans Wolfgang ^c   Costanti, Marco ^b  

^a HERIOT WATT UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF ST ANDREWS   (United Kingdom)

^c UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY;

COMPUTATIONAL GRIDS; COMPUTER ALGEBRA PACKAGES; GRID-ENABLED PARALLEL HASKELL (GPH);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 35348835724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72586-2_90     Document Type: Conference Paper

References (25)

1. GridMathematica2, http://www.wolfran.com/products/gridmathematica/.
2. High performance computations in group representation theory. Preprint, Institut fur Experimentelle Mathematik, Univerisitat GH Essen, 1998.
3. GENSS, http://genss.CB.bath.ac.uk/index.htm, 2006.
4. Geodise, http://www.geodise.org/, 2006.
5. The GpH-Maple Interface, http://www.risc.uni-linz.ac.at/software/ghc- maple/, 2006.
6. The OpenMath Format,http://www.openmath.org/, 2006.
7. S. Agrawal, J. Dongarra, K. Seymour, and S. Vadhiyar. NetSolve: past, present, and future; a look at a Grid enabled server. In Making the Global Infrastructure a Reality, pages 613-622. Wiley, 2003.
8. A. Al Zain, P. Trinder, H.-W. Loidl, and G. Michaelson. Managing Heterogeneity in a Grid Parallel Haskell. J. Scalable Comp.: Practice and Experience, 6(4), 2006.
9. B. Amrheim, O. Gloor, and W. Kuchlin. A case study of multithreaded grobner basis completion. In In Proc. of ISSAC'96, pages 95-102. ACM Press, 1996.
10. R. Bundgen, M. Gobel, and W. Kuchlin. Multi-threaded ac term re-writing. In Proc. PASCO'94, volume 5, pages 84-93. World Scientific, 1994.
11. K. C. Chan, A. Draz, and E. Kaltofen. A Distributed Approach to Problem Solving in Maple. In Proc. 5th Maple Summer Workshop and Symp., pages 13-21, 1994.
12. B. W. Char and et al. Maple V Language Reference Manual. Maple Publishing, Waterloo Canada, 1991.
13. B.W. Char. A user's guide to Sugarbush - Parallel Maple through Linda. Technical report, Drexel University, Dept. of Mathematics and Comp. Sci., 1994.
14. M. Cole. Algorithmic Skeletons. In K. Hammond and G. Michaelson, editors, Research Directions in Parallel Functional Programming, chapter 13, pages 289-304. Springer-Verlag, 1999.
15. G. Cooperman. Parallel gap: Mature interactive parallel. Groups and computation, III (Columbus, OH,1999), 2001. de Gruyter, Berlin.
16. M. Daberkow, C. Fieker, J. Klüners, M. Pohst, K. Roegner, M. Schörnig, and K. Wildanger. Kant v4. J. Symb. Comput., 24(3/4):267-283, 1997.
17. T. Delaitre, A. Goyeneche, P. Kacsuk, T. Kiss, G.Z. Terstyanszky, and S.C. Winter. GEMLCA: Grid Execution Management for Legacy Code Architecture Design. In Proc. 30th EUROMICRO Conference, pages 305-315, 2004.
18. The GAP Group. Gap - groups, algorithms, and programming, version 4.2, 2000. St Andrews, http://www.gap-system.org/gap.
19. W. Kuchlin. Parsac-2: A parallel sac-2 based on threads. In AAECC-8, volume 508 of Lecture Notes in Computer Science, pages 341-353. Springer-Verlag, 1990.
20. R. Martínez and R, Pena. Building an Interface Between Eden and Maple. In PTOC. IFL 2003, Springer-Verlag LNCS 3145, pages 135-151, 2004.
21. K. Morisse and A. Kemper. The Computer Algebra System MuPAD. Euromath Bulletin, 1(2):95-102, 1994.
22. D. Petcu, M. Paprycki, and D. Dubu. Design and Implementation of a Grid Extension of Maple, 2005.
23. L. Roch and G. Villard. Parallel computer algebra. In ISSAC97. Preprint IMAG Grenoble France, 1997.
24. D. Tepeneu and T. Ida. MathGridLink - Connecting Mathematica to the Grid. In Proc. IMS '04, Banff, Alberta, 2004.
25. P.W. Trinder, K. Hammond, H.-W. Loidl, and S.L. Peyton Jones. Algorithm + Strategy = Parallelism. J. Functional Programming, 8(1):23-60, January 1998.