Algorithm for computing formal invariants of linear differential systems
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Factoring rational polynomials over the complexes
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
A program for computing Puiseux expansions
ACM SIGSAM Bulletin - Issue #94
Complexity of the Wu-Ritt decomposition
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Hi-index | 0.00 |