Abstract is missing.
- Efficient parallel solution of sparse systems of linear diophantine equationsMark Giesbrecht. 1-10 [doi]
- Fast rectangular matrix multiplications and improving parallel matrix computationsXiaohan Huang, Victor Y. Pan. 11-23 [doi]
- Towards an efficient implementation of a fast algorithm for multipoint polynomial evaluation and its parallel processingHirokazu Murao, Tetsuro Fujise. 24-30 [doi]
- NC:::2::: computation of gcd-free basis and application to parallel algebraic numbers computationThierry Gautier, Jean-Louis Roch. 31-37 [doi]
- Processor-efficient parallel matrix inversion over abstract fields: two extensionsWayne Eberly. 38-45 [doi]
- An evaluation of Penny: a system for fine grain implicit parallelismJohan Montelius, Seif Haridi. 46-57 [doi]
- Evaluating parallel logic programming systems on scalable multiprocessorsVítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra. 58-67 [doi]
- Extended dynamic dependent and-parallelism in ACEGopal Gupta, Enrico Pontelli. 68-79 [doi]
- Distributed partial evaluationMichael Sperber, Peter Thiemann, Herbert Klaeren. 80-87 [doi]
- Experiments with subdivision of search in distributed theorem provingMaria Paola Bonacina. 88-100 [doi]
- Deriving efficient parallel programs for complex recurrencesYong Meng Teo, Wei-Ngan Chin, Soon Huat Tan. 101-110 [doi]
- A parallel implementation of cost-based abductive reasoningShohei Kato, Hirohisa Seki, Hidenori Itoh. 111-118 [doi]
- Object graph rewriting: an experimental parallel implementationJohn Glauert. 119-128 [doi]
- Maximizing performance on parallel machines (abstract)Monica Lam. 129 [doi]
- Computation of replicable functions on Risa/AsirMasayuki Noro, John McKay. 130-138 [doi]
- Complexity of the Wu-Ritt decompositionÁgnes Szántó. 139-149 [doi]
- Mixed representation of polynomials oriented towards fast parallel shiftEugene V. Zima. 150-155 [doi]
- Improvement of message communication in concurrent logic languageKazuhiko Ohno, Masahiko Ikawa, Shin-ichiro Mori, Hiroshi Nakashima, Shinji Tomita, Masahiro Goshima. 156-164 [doi]
- A proposal for syntactic data integration math protocolsOlaf Bachmann, Hans Schönemann, Simon Gray. 165-175 [doi]
- An overview of the design of Distributed OzSeif Haridi, Peter Van Roy, Gert Smolka. 176-187 [doi]
- Tools for parallel/distributed mathematical computationPaul S. Wang. 188-195 [doi]
- CABAL: polynomial and power series algebra on a parallel computerArthur Norman, John Fitch. 196-203 [doi]
- CALYPSO: a computer algebra library for parallel symbolic computationGiovanni Cesari. 204-216 [doi]
- Maple on a massively parallel, distributed memory machineLaurent Bernardin. 217-222 [doi]