-
Calculus on Normed Vector Spaces
International audience -
The Denjoy alternative for computable functions
International audience -
Clarke Generalized Jacobian of the Projection onto the Cone of Positive Semid...
International audience -
Coquelicot: A User-Friendly Library of Real Analysis for Coq
International audience -
On optimal growth models when the discount factor is near 1 or equal to 1
International audience
