CIAA 2017

22nd International Conference Implementation and Application of Automata

27--30 June 2017, Université Paris-Est Marne-la-Vallée

The SageMath project

SageMath is an open source Computer Algebra System born in 2005. It uses the standard Python languages and is built on top of many libraries (GMP, MPFR, NTL, ...) and CAS (GAP, PARI/GP, Maxima, ...). As an example, we will demonstrate how SageMath provides a common interface to linear solvers (e.g. GLPK, COIN-OR, Gurobi, ...) and show how it could potentially be used for automata computations. If time permits, we will explain some features of its development model that is highly decentralized.