loading...
The CISUC Technical Report, TR 2014/01, contains the papers presented at ADG 2014, the 10th International Workshop on Automated Deduction in Geometry, held on July 9-11, 2014 at the University of Coimbra.