uc84
11-08-2009, 18:51
ciao a tutti.
stavo chiedendomi se esista un software logico-matematico che, a partire da assiomi, definizioni e proposizioni consenta di ricavare (o perlomeno verificare) degli altri enunciati.
(ad esempio, dato un insieme chiuso e convesso, determinare / verificare le proprietą di una data corrispondenza definita su di esso).
mathematica, maple e simili hanno funzionalitą di questo tipo?
grazie.
stavo chiedendomi se esista un software logico-matematico che, a partire da assiomi, definizioni e proposizioni consenta di ricavare (o perlomeno verificare) degli altri enunciati.
(ad esempio, dato un insieme chiuso e convesso, determinare / verificare le proprietą di una data corrispondenza definita su di esso).
mathematica, maple e simili hanno funzionalitą di questo tipo?
grazie.