Formalisation et automatisation de preuves en analyses reelle et numerique (2001)

by Micaela Mayero