Dépôts open source suivis de oscar-system, triés par étoiles.
Un système de calcul formel open source complet pour l'algèbre, la géométrie et la théorie des nombres.
