marta hidalgo shop report
PRESENTATION CUSTO BARCELONA AD CAMPAIGN
Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof