Explore projects

environnement pour cours Algorithmique et Programmation

Continent du matériel d'enseignement que je souhaite rendre public

Documents pour le cours de Preuves de M1 (ou celui du M2 LMFI)

Environment with my favorite tools: pari + arb

Decision procedure for SL used in specification of memory allocators

fiches d'ue pour le master (cf le système de Samy pour la licence)

Giacpy is a python module interfacing with the c++ library giac through cython. So it provides in python most of the functionalites of the computer algebra system giac/xcas with a similar speed