×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 166-180 (2015).
MSC:  05C65 51E15
PDF BibTeX XML Cite
Full Text: DOI