Cite
MLA Citation
Francisco Botana et al., editors. Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100071220276.0x000001