Riassunto
Nella vita del matematico un concetto si pone in posizione dominante per il modo con cui permea la vita e l’attività quotidiana: il concetto di dimostrazione.
Lettera Matematica Pristem, n. 39, 2001.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Riferimenti bibliografici
De Giovanni, F., Landolfi, T., “Le Dimostrazioni di Teoremi fondate sull’uso del Calcolatore”, Bollettino U.M.I., Lamatematica nella. Società e nella Cultura (8) 2-A (1999), pp. 69–81
Bazzotti, L., Dalzotto, G., Robbiano, L., “Remarks on Geometric Theorem Proving”, Proceedings of the ADG-2000 Conference, LNAI 2-A (2001), pp. 69–81
Kreuzer, M., Robbiano, L., “Computational Commutative Algebra 1”, Springer (2000)
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Italia
About this chapter
Cite this chapter
Robbiano, L. (2011). Teoremi di geometria euclidea dimostrati automaticamente. In: Ciliberto, C., Lucchetti, R. (eds) Un mondo di idee. I blu. Springer, Milano. https://doi.org/10.1007/978-88-470-1744-3_3
Download citation
DOI: https://doi.org/10.1007/978-88-470-1744-3_3
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-1743-6
Online ISBN: 978-88-470-1744-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)