Processing Poisson series in parallel
Journal of Symbolic Computation
Algorithms for computer algebra
Algorithms for computer algebra
PSPCLink: a cooperation between general symbolic and Poisson series processors
Journal of Symbolic Computation
Algebraic simplification: a guide for the perplexed
Communications of the ACM
Computer algebra for analyzing the vibrations of nonlinear structures
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
MathATESAT: a symbolic-numeric environment in astrodynamics and celestial mechanics
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part II
Development of TRIP: fast sparse multivariate polynomial multiplication using burst tries
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II
Parallel sparse polynomial multiplication on modern hardware architectures
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
Hi-index | 0.00 |
McCallum's projection operator for cylindrical algebraic decomposition (CAD) represented a huge step forward for the practical utility of the CAD algorithm. This paper presents a simple theorem showing that the mathematics in McCallum's paper actually ...