stamattina abbiamo parlato dei risolutari, negli anni '90 l attanzione dei problemi era posta sull applicazione (bisognava conoscere l applicazione presente nel pacchetto) da utilizzare per risolverli, con il passare del tempo i file sono stati associati all applicazione dall estensione dei file stessi. ora invece l importanza dei problemi è posta sui problemi stessi e sulla motleciplita delle applicazioni...

ci sono risolutori generici (dentro i pacchetti applicativi) e specifici, come ad esempio DERIVE che abbiamo visto stamttina per risolvere questo problema:

determina in modo esplicito gli estremanti della funzione z=3x^3 - 3x + y soggetta al vincolo tale che 2x - y + 6 = 0
un risolutore come DERIVE è in grado di risolvere questo problema in pochi secondi, un problema da terza prova