Sylvain Chevillard, Mioara Maria Joldes, Christoph Lauter. Sollya: an environment for the development of numerical codes.
Third International Congress on Mathematical Software - ICMS 2010, Sep 2010, Kobe, Japan. pp.28 -- 31,
⟨10.1007/978-3-642-15582-6_5⟩.
⟨hal-00761644⟩