A SYSTEM FOR PARALLEL COMPUTER ALGEBRA PROGRAMS

被引：0

作者：

WATT, SM ^{[1
]}

机构：

[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO N2L 3G1,ONTARIO,CANADA

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 204卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：537 / 538

页数：2

共 50 条

[41] Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs
Popov, Nikolaj
Jebelean, Tudor
[J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2009, 79 (08) : 2302 - 2309
[42] Functional programming concepts and straight-line programs in computer algebra
Bruno, N
Heintz, J
Matera, G
Wachenchauzer, R
[J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 60 (06) : 423 - 473
[43] SINGULAR -: A computer algebra system for polynomial computations
Greuel, GM
Pfister, G
Schönemann, H
[J]. SYMBOLIC COMPUTATION AND AUTOMATED REASONING, 2001, : 227 - 233
[44] SUPRISING MATHEMATICS USING A COMPUTER ALGEBRA SYSTEM
BERGERON, F
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1993, 15 (03) : 365 - 370
[45] Bilinear Transformations via a Computer Algebra System
de Alwis, Tilak
[J]. LINKING APPLICATIONS WITH MATHEMATICS AND TECHNOLOGY, 2010, : 108 - 117
[46] MANIP - A COMPUTER SYSTEM FOR ALGEBRA AND ANALYTIC DIFFERENTIATION
BENDER, B
[J]. COMMUNICATIONS OF THE ACM, 1966, 9 (08) : 552 - &
[47] Utilizing the symbolic capabilities of a computer algebra system
Maron, MJ
Ralston, PA
Tyler, LD
[J]. FRONTIERS IN EDUCATION FIE'96 - 26TH ANNUAL CONFERENCE, PROCEEDINGS, VOLS 1-3: TECHNOLOGY-BASED RE-ENGINEERING ENGINEERING EDUCATION, 1996, : 1089 - 1091
[48] Maxima: an open source computer algebra system
Li, Jinhu
Racine, Jeffrey S.
[J]. JOURNAL OF APPLIED ECONOMETRICS, 2008, 23 (04) : 515 - 523
[49] INTEGRATION OF GRAPHICAL TOOLS IN A COMPUTER ALGEBRA SYSTEM
BITTENCOURT, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 307 : 13 - 24
[50] A LANGUAGE AND SYSTEM FOR SYMBOLIC ALGEBRA ON A DIGITAL COMPUTER
BROWN, WS
[J]. COMMUNICATIONS OF THE ACM, 1966, 9 (08) : 548 - &

← 1 2 3 4 5 →