Questo libro costituisce gli atti post-workshop accuratamente controllati del 9° Workshop Internazionale sulla Deduzione Automatizzata in Geometria, ADG 2012, tenutosi a Edimburgo, Regno Unito, nel settembre 2012. I 10 documenti completi revisionati presentati insieme a 2 documenti invitati sono stati accuratamente selezionati durante due cicli di revisione e miglioramento delle lezioni tenute al workshop. La conferenza rappresenta un forum per scambiare idee e punti di vista, per presentare risultati e progressi della ricerca e per dimostrare gli strumenti software all'intersezione tra geometria e deduzione automatizzata; inoltre il campo di applicazione dell'ADG 2012 è stato ampliato per coprire argomenti di geometria dinamica.
caricamento...
