A tutorial introduction to Maple
Journal of Symbolic Computation
Computer algebra in the undergraduate mathematics classroom
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Edusym—educational symbolic manipulator on a microcomputer
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A system for manipulating polynomials given by straight-line programs
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Numerical integration in a symbolic context
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
On implementing Buchberger's algorithm for Grobner bases
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
Parallelizing algorithms for symbolic computation using MAPLE
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Dagwood: a system for manipulating polynomials given by straight-line programs
ACM Transactions on Mathematical Software (TOMS)
An intelligent tutor for high-school algebra
CSC '87 Proceedings of the 15th annual conference on Computer Science
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
The maple symbolic computation system
ACM SIGSAM Bulletin
Certified Computer Algebra on Top of an Interactive Theorem Prover
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Foreword: In honour of Keith Geddes on his 60th birthday
Journal of Symbolic Computation
Ways to implement computer algebra compactly
ACM Communications in Computer Algebra
Hi-index | 0.00 |