Giacxcas

Jul 20, 2023

Computer algebra system

General purpose computer algebra system released under GPLv3. French documentation by Renee De Graeve is for non-commercial use only. The package consists of

  • C++ library libgiac. It is build on C and C++ libraries PARI, NTL arithmetic, CoCoA Groebner basis, GSL numerics, GMP big integers, MPFR bigfloats and provides algorithms for basic polynomial operations product, GCD and symbolic computations simplifications, limits/series, symbolic integration, summation, …. The library can be configured to accept Maple or TI syntax to ease the transition for users of these systems.
  • Command line interpreter icas or giac. It can be called from texmacs.
  • FLTK-based GUI xcas. It is a GUI for symbolic computation with several modules added 2-d and 3-d graphics, dynamic 2-d and 3-d geometry exact or numeric, spreadsheet, programming environment.


Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++