AXIOM: the scientific computation system
AXIOM: the scientific computation system
Algorithms for computer algebra
Algorithms for computer algebra
Galois groups of second and third order linear differential equations
Journal of Symbolic Computation
Liouvillian and algebraic solutions of second and third order linear differential equations
Journal of Symbolic Computation
An introduction to pseudo-linear algebra
Selected papers of the conference on Algorithmic complexity of algebraic and geometric models
Journal of Symbolic Computation
The Exact Solution of Systems of Linear Equations with Polynomial Coefficients
Journal of the ACM (JACM)
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library
DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Solving linear ordinary differential equations over C (x, e∫ f(x)dx)
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Liouvillian solutions of third order differential equations
Journal of Symbolic Computation
Solving second order linear differential equations with Klein's theorem
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Solving third order linear differential equations in terms of second order equations
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |