Symbolic modeling of robots software. The language is python and the key library is a sympy