Un software di geometria interattiva non puo' sostituire una dimostrazione rigorosa, come viene esemplificato tramite una particolare costruzione geometrica che mette in evidenza gli errori di arrotondamento del calcolatore.
Forlini, A., Paolini, M., Fidarsi dei software di geometria interattiva?, in Ricci, F., Mariano Giacquint, M. G., Alberto Abbondandol, A. A. (ed.), Ricordando Franco Conti, Scuola Normale Superiore di Pisa, Pisa 2004: 181- 193 [http://hdl.handle.net/10807/19781]
Fidarsi dei software di geometria interattiva?
Paolini, Maurizio
2004
Abstract
Un software di geometria interattiva non puo' sostituire una dimostrazione rigorosa, come viene esemplificato tramite una particolare costruzione geometrica che mette in evidenza gli errori di arrotondamento del calcolatore.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
