On the multi-threaded computation of integral polynomial greatest common divisors
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Mixed representation of polynomials oriented towards fast parallel shift
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Fast Parallel Computation of the Polynomial Shift
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
Distributed maple: parallel computer algebra in networked environments
Journal of Symbolic Computation
Computer algebra handbook
Cache complexity and multicore implementation for univariate real root isolation
ACM Communications in Computer Algebra
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Hi-index | 0.00 |