Le forum de XCAS

Xcas: un logiciel libre de calcul formel
https://xcas.univ-grenoble-alpes.fr/forum/

Pappus theorem

https://xcas.univ-grenoble-alpes.fr/forum/viewtopic.php?f=48&t=2984