Automated deduction in geometry

Descrição: This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop o... Veja mais