An object-oriented platform for distributed high-performance symbolic computation
- 10 August 1999
- journal article
- Published by Elsevier in Mathematics and Computers in Simulation
- Vol. 49 (3) , 161-178
- https://doi.org/10.1016/s0378-4754(99)00049-x
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Approaches to parallel quantifier eliminationPublished by Association for Computing Machinery (ACM) ,1998
- Parallel Term Rewriting with PareduxPublished by Springer Nature ,1998
- MILLIPEDE: Easy Parallel Programming in Available Distributed EnvironmentsSoftware: Practice and Experience, 1997
- The Nexus Approach to Integrating Multithreading and CommunicationJournal of Parallel and Distributed Computing, 1996
- Strategy Compliant Multi-Threaded Term CompletionJournal of Symbolic Computation, 1996
- A master-slave approach to parallel term rewriting on a hierarchical multiprocessorPublished by Springer Nature ,1996
- Distributed symbolic computation with DTSPublished by Springer Nature ,1995
- Parallel ReDuX → PaReDuXLecture Notes in Computer Science, 1995
- Algorithms for Computer AlgebraPublished by Springer Nature ,1992
- The Calculation of Multivariate Polynomial ResultantsJournal of the ACM, 1971