SCOPUS 정보 검색 플랫폼

Proceedings of the International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2009

Volumn , Issue , 2009, Pages 518-524

Distributed parallel gr̈obner bases computation

(1) Kredel, Heinz a

a UNIVERSITY OF MANNHEIM (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC GEOMETRY; BUILDING BLOCKES; COMPUTER ALGEBRA; DISTRIBUTED THREAD; DISTRIBUTED-MEMORY PARALLEL COMPUTERS; GENERIC DATA; HIGH-PERFORMANCE COMPUTING CLUSTERS; JAVA OBJECTS; OBJECT-ORIENTED PROGRAMMING LANGUAGES; PROCEDURAL PROGRAMMING LANGUAGES;

ALGEBRA; C (PROGRAMMING LANGUAGE); COMPUTER SYSTEMS PROGRAMMING; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; PARALLEL ALGORITHMS; QUERY LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 70349734473 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/CISIS.2009.109 Document Type: Conference Paper

Times cited : (5)

References (25)

1
- 0003512241
- Springer, Graduate Texts in Mathematics
- T. Becker and V. Weispfenning. Gr̈obner Bases - A Computational Approach to Commutative Algebra. Springer, Graduate Texts in Mathematics, 1993.
- (1993) Gr̈obner Bases - A Computational Approach to Commutative Algebra
- Becker, T.¹ Weispfenning., V.²

2
- 0011507051
- A finegrained parallel completion procedure
- Oxford
- R. B̈undgen, M. G̈obel, and W. K̈uchlin. A finegrained parallel completion procedure. In Proc. ISSAC' 94, Oxford, 1994.
- (1994) Proc. ISSAC' 94
- B̈undgen, R.¹ G̈obel, M.² K̈uchlin, W.³

3
- 77952725799
- Technical report, accessed 2008, October
- D. Caromel et al. Proactive parallel suite is an open source middleware for parallel, distributed, multi-core computing. Technical report, http://proactive.inria.fr/accessed 2008, October, 2008.
- (2008) Proactive Parallel Suite Is An Open Source Middleware for Parallel, Distributed, Multi-core Computing
- Caromel, D.¹

4
- 0025535388
- Progress report on a system for generalpurpose parallel symbolic algebraic computation
- ACM Press
- B. Char. Progress report on a system for generalpurpose parallel symbolic algebraic computation. In Proc. ISSAC'90, ACM Press, pages 96-103, 1990.
- (1990) N Proc. ISSAC'90 , pp. 96-103
- Char, B.¹

5
- 0003868058
- Springer
- D. Cox, J. Little, and D. O'Shea. Using Algebraic Geometry. Springer, 1998.
- (1998) Using Algebraic Geometry
- Cox, D.¹ Little, J.² O'shea, D.³

6
- 70349753922
- Developers., Mathematica Inc
- Developers. Grid aware computer algebra system. Technical report, Mathematica Inc., http://www.wolfram.com/products/gridmathematica/, 2008.
- (2008) Grid Aware Computer Algebra System. Technical Report

7
- 70349731133
- Developers., GridGain Systems Inc
- Developers. Java grid middleware GridGain. Technical report, GridGain Systems Inc., http://www.gridgain.com/2008.
- (2008) Java Grid Middleware GridGain. Technical Report

8
- 2642529702
- J. Grabmaier, E. Kaltofen, and V. Weispfenning, editors, Springer
- J. Grabmaier, E. Kaltofen, and V. Weispfenning, editors. Computer Algebra Handbook. Springer, 2003.
- (2003) Computer Algebra Handbook

9
- 70349737277
- A buchberger algorithm for distributed memory multi-processors
- D. Hawley. A Buchberger algorithm for distributed memory multi-processors. Springer LNCS 591, pages 385-390, 1992.
- (1992) Springer LNCS 591 , pp. 385-390
- Hawley, D.¹

10
- 0242581943
- G. J. Holzmann, editor, Addison-Wesley
- G. J. Holzmann, editor. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
- (2003) The Spin Model Checker: Primer and Reference Manual.

11
- 0003037395
- Parallelization of quantifier elimination on a workstation network
- H. Hong. Parallelization of quantifier elimination on a workstation network. In Proc. AAECC-10, Springer LNCS 573, pages 170-179, 1993.
- (1993) Proc. AAECC-10, Springer LNCS 573 , pp. 170-179
- Hong, H.¹

12
- 36949021792
- On the parallel computation of comprehensive gr̈obner systems
- S. Inoue and Y. Sato. On the parallel computation of comprehensive Gr̈obner systems. In Proc. PASCO'07, pages 99-101, 2007.
- (2007) Proc. PASCO'07 , pp. 99-101
- Inoue, S.¹ Sato, Y.²

13
- 77952740308
- Computeralgebra on a ksr1 parallel computer
- H. Kredel. Computeralgebra on a KSR1 parallel computer. 4th Supercomputing Day "Application of Supercomputers", Linz, 1994.
- (1994) 4th Supercomputing Day "Application of Supercomputers" Linz
- Kredel, H.¹

14
- 34547266348
- On the design of a java computer algebra system
- University of Mannheim
- H. Kredel. On the Design of a Java computer algebra system. Proc. PPPJ 2006, pages 143-152. University of Mannheim, 2006.
- (2006) Proc. PPPJ 2006 , pp. 143-152
- Kredel, H.¹

15
- 55249103851
- Evaluation of a java computer algebra system
- National University of Singapore
- H. Kredel. Evaluation of a Java computer algebra system. Proceedings ASCM 2007, pages 59-62. National University of Singapore, 2007.
- (2007) Proceedings ASCM 2007 , pp. 59-62
- Kredel, H.¹

16
- 70349740449
- Multivariate greatest common divisors in the Java computer algebra system
- East China Normal University, Shanghai, China
- H. Kredel. Multivariate greatest common divisors in the Java computer algebra system. Proc. Automated Deduction in Geometry, ADG 2008, pages 41-61. East China Normal University, Shanghai, China, 2008.
- (2008) Proc. Automated Deduction in Geometry, ADG 2008 , pp. 41-61
- Kredel, H.¹

17
- 39049088095
- On a Java computer algebra system, its performance and applications
- H. Kredel. On a Java computer algebra system, its performance and applications. Science of Computer Programming, Elsevier, 70:185-207, 2008.
- (2008) Science of Computer Programming, Elsevier , vol.70 , pp. 185-207
- Kredel, H.¹

18
- 39049124110
- since
- H. Kredel. The Java algebra system. Technical report, http://krum.rz.uni-mannheim.de/jas/, since 2000.
- (2000) The Java Algebra System. Technical Report
- Kredel, H.¹

19
- 55249098103
- in Computer Algebra Handbook, Springer
- H. Kredel and M. Pesch. MAS: The Modula-2 Algebra System, pages 421-428. in Computer Algebra Handbook, Springer, 2003.
- (2003) MAS: the Modula-2 Algebra System , pp. 421-428
- Kredel, H.¹ Pesch, M.²

20
- 34547239869
- H. Kredel and A. Yoshida. Thread- und Netzwerk- Programmierung mit Java. dpunkt, 2nd edition, 2002.
- (2002) Thread- und Netzwerk- Programmierung mit Java. Dpunkt, 2nd Edition
- Kredel, H.¹ Yoshida, A.²

21
- 84968464199
- Massively parallel computing and factoring
- A. Lenstra. Massively parallel computing and factoring. Proc. LATIN'92, Springer LNCS 583, pages 344-355, 1992.
- (1992) Proc. LATIN'92, Springer LNCS 583 , pp. 344-355
- Lenstra, A.¹

22
- 0003383826
- Parallel polynomial operations in the large buchberger algorithm
- Academic Press
- H. Melenk and W. Neun. Parallel polynomial operations in the large Buchberger algorithm. Computer Algebra and Parallelism, pages 143-158. Academic Press, 1989.
- (1989) Computer Algebra and Parallelism , pp. 143-158
- Melenk, H.¹ Neun, W.²

23
- 70349743421
- Parallel speedup of sequential machines: A defence of the parallel computation thesis.
- I. Parberry. Parallel speedup of sequential machines: a defence of the parallel computation thesis. ACM SIGACT News, 18(1):54-67, 1986.
- (1986) ACM SIGACT News , vol.18 , Issue.1 , pp. 54-67
- Parberry, I.¹

24
- 70349752648
- Science Project, Science., accessed 2008, October, Technical Report
- SCIEnce. SCIEnce project (symbolic computation infrastructure for europe). Technical report, http://www.symbolic-computation.org/, accessed 2008, October, 2008.
- (2008)

25
- 64249164652
- The SAGE Group, 2007., accessed, November
- W. Stein. SAGE Mathematics Software (Version 2.7). The SAGE Group, 2007. http://www.sagemath.org, accessed 2007, November.
- (2007) SAGE Mathematics Software (Version 2.7)
- Stein, W.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.