Computer Algebra: Past and Future
Journal of Symbolic Computation
Integration of Liouvillian functions with special functions
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Formal solutions of differential equations
Journal of Symbolic Computation
Computer algebra handbook
What Might "Understand a Function" Mean?
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Hi-index | 0.01 |