Des réels aux flottants: préservation automatique de preuves de stabilite ́ de Lyapunov

Cached

Download Links

by Olivier Hermant , Vivien Maisonneuve