Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Prolog programming for artificial intelligence
Prolog programming for artificial intelligence
A semantic matcher for computer algebra
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
LISP
Advances and trends in the design and construction of algebraic manipulation systems
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms
Term rewriting and all that
Modern computer algebra
Hi-index | 0.00 |
We describe the design and implementation of Yacas, a free computer algebra system currently under development. The system consists of a core interpreter and a library of scripts that implement symbolic algebra functionality. The interpreter provides a high-level weakly typed functional language designed for quick prototyping of computer algebra algorithms, but the language is suitable for all kinds of symbolic manipulation. It supports conditional term rewritingof symbolic expression trees, closures (pure functions) and delayed evaluation, dynamic creation of transformation rules, arbitrary-precision numerical calculations, and flexible user-defined syntax usinginfix notation. The library of scripts currently provides basic numerical and symbolic functionality. The main advantages of Yacas are: free (GPL) software; a flexible and easy-touse programming language with a comfortable and adjustable syntax; crossplatform portability and small resource requirements; and extensibility.