A taxonomy of problems with fast parallel algorithms
Information and Control
Fast parallel absolute irreducibility testing
Journal of Symbolic Computation
Solving sparse linear equations over finite fields
IEEE Transactions on Information Theory
On the equivalence between Berlekamp's and Euclid's algorithms
IEEE Transactions on Information Theory
Greatest common divisors of polynomials given by straight-line programs
Journal of the ACM (JACM)
A deterministic algorithm for sparse multivariate polynomial interpolation
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Efficient parallel evaluation of straight-line code and arithmetic circuits
SIAM Journal on Computing
Fast parallel computation of hermite and smith forms of polynomial matrices
SIAM Journal on Algebraic and Discrete Methods
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Interpolating polynomials from their values
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Processor efficient parallel solution of linear systems over an abstract field
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
DSC: a system for distributed symbolic computation
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
A Uniform Approach for the Fast Computation of Matrix-Type Pade Approximants
SIAM Journal on Matrix Analysis and Applications
Mathematics of Computation
Process scheduling in DSC and the large sparse linear systems challenge
Journal of Symbolic Computation - Special issue on design and implementation of symbolic computation systems
Prediction based task scheduling in distributed computing
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Matrix-free linear system solving and applications to symbolic computation
Matrix-free linear system solving and applications to symbolic computation
Maple on a massively parallel, distributed memory machine
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
FOXBOX: a system for manipulating symbolic objects in black box representation
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Improved Sparse Multivariate Polynomial Interpolation Algorithms
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Early termination in sparse interpolation algorithms
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Approximate factorization of multivariate polynomials via differential equations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Proceedings of the 2006 international symposium on Symbolic and algebraic computation
On exact and approximate interpolation of sparse rational functions
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Parallel computation of the rank of large sparse matrices from algebraic K-theory
Proceedings of the 2007 international workshop on Parallel symbolic computation
Approximate factorization of multivariate polynomials using singular value decomposition
Journal of Symbolic Computation
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
SFCS '92 Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
Interpolation of polynomials given by straight-line programs
Theoretical Computer Science
Generic design of Chinese remaindering schemes
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Diversification improves interpolation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Supersparse black box rational function interpolation
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |
A second wave of parallel and distributed computing research is rolling in. Today's multicore/multiprocessor computers facilitate everyone's parallel execution. In the mid 1990s, manufactures of expensive main-frame parallel computers faltered and computer science focused on the Internet and the computing grid. After a ten year hiatus, the Parallel Symbolic Computation Conference (PASCO) is awakening with new vigor. I shall look back on the highlights of my own research on theoretical and practical aspects of parallel and distributed symbolic computation, and forward to what is to come by example of several current projects. An important technique in symbolic computation is the evaluation/interpolation paradigm, and multivariate sparse polynomial parallel interpolation constitutes a keystone operation, for which we present a new algorithm. Several embarrassingly parallel searches for special polynomials and exact sum-of-squares certificates have exposed issues in even today's multiprocessor architectures. Solutions are in both software and hardware. Finally, we propose the paradigm of interactive symbolic supercomputing, a symbolic computation environment analog of the STAR-P Matlab platform.