Pruebas por computadora

«Las pruebas asistidas por computadora son cada vez mejores y las computadoras desempeñarán un papel cada vez más importante en el futuro.»

Enrico Bombieri (1940- ) Matemático italiano.