Formalisation et automatisation de preuves en analyse réelle et numérique (2001)

by M Mayero