Tools

In this section we briefly introduce tools for programming and document preparation.