Software di geometria dinamica per lo studio della geometria dello spazio