Journal of Symbolic Computation
Solving algebraic problems with REDUCE
Journal of Symbolic Computation
The design of maple: A compact, portable and powerful computer algebra system
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
On square-free decomposition algorithms
SYMSAC '76 Proceedings of the third ACM symposium on Symbolic and algebraic computation
An algorithm for solving second order linear homogeneous differential equations
Journal of Symbolic Computation
Computer Algebra: Past and Future
Journal of Symbolic Computation
Some simple pretty-print facilities for REDUCE
ACM SIGSAM Bulletin
Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization
Journal of Symbolic Computation
Indefinite integration with validation
ACM Transactions on Mathematical Software (TOMS)
Dynamic voting algorithms for maintaining the consistency of a replicated database
ACM Transactions on Database Systems (TODS)
Formal solutions of differential equations
Journal of Symbolic Computation
Progress report on a system for general-purpose parallel symbolic algebraic computation
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Some examples of the use of distances as coordinates for Euclidean geometry
Journal of Symbolic Computation
Laptop computers in an integrated first-year curriculum
Communications of the ACM
A Hybrid Replica Control Algorithm Combining Static and Dynamic Voting
IEEE Transactions on Knowledge and Data Engineering
Using Computer Algebra Systems as Cognitive Tools
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Algorithms for solving linear systems over cyclotomic fields
Journal of Symbolic Computation
Foreword: In honour of Keith Geddes on his 60th birthday
Journal of Symbolic Computation
Proof certificates for algebra and their application to automatic geometry theorem proving
ADG'08 Proceedings of the 7th international conference on Automated deduction in geometry
Hi-index | 0.02 |
The Maple computer algebra system is described. Brief sample sessions show the user syntax and the mathematical power of the system for performing arithmetic, factoring, simplification, differentiation, integration, summation, solving algebraic equations, solving differential equations, series expansions, and matrix manipulations. Time and space statistics for each sample session show that the Maple system is very efficient in memory space utilisation, as well as in time. The Maple programming language is presented by describing the most commonly used features, using some non-trivial computations to illustrate the language features.