Browsing CEREMADE : Publications by Author "Van Der Hoeven, Joris"

Now showing items 1-1 of 1

    • GNU TeXmacs: a scientific editing platform 
      Raux, Denis; Poulain, François; Lecerf, Grégoire; Gubinelli, Massimiliano; Grozin, Andrey; Van Der Hoeven, Joris (2013) Article accepté pour publication ou publié