Yacas: A Do-It-Yourself Symbolic Algebra Environment

  • Ayal Z. Pinkus
  • Serge Winitzki
Conference paper

DOI: 10.1007/3-540-45470-5_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2385)
Cite this paper as:
Pinkus A.Z., Winitzki S. (2002) Yacas: A Do-It-Yourself Symbolic Algebra Environment. In: Calmet J., Benhamou B., Caprotti O., Henocque L., Sorge V. (eds) Artificial Intelligence, Automated Reasoning, and Symbolic Computation. Lecture Notes in Computer Science, vol 2385. Springer, Berlin, Heidelberg


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 rewriting of symbolic expression trees, closures (pure functions) and delayed evaluation, dynamic creation of transformation rules, arbitrary-precision numerical calculations, and flexible user-defined syntax using infix 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-to-use programming language with a comfortable and adjustable syntax; cross-platform portability and small resource requirements; and extensibility.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Ayal Z. Pinkus
    • 1
  • Serge Winitzki
    • 2
  1. 1.AmsterdamThe Netherlands
  2. 2.Tufts Institute of Cosmology, Department of Physics and AstronomyTufts UniversityMedfordUSA

Personalised recommendations