Home Advanced Search

Advanced Search - Page 1

Mathematical Software – ICMS 2010: Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Thomas C. Hales (auth.), Komei Fukuda, Joris van der Hoeven, Michael Joswig, Nobuki Takayama (eds.)
Algebra, Geometry and Software Systems
  • PDF
  • English
  • Year: 2003
  • Author: Michael Joswig (auth.), Michael Joswig, Nobuki Takayama (eds.)
Transseries and Real Differential Algebra
  • DJVU
  • English
  • Year: 2006
  • Author: Joris van der Hoeven (auth.)
Transseries and Real Differential Algebra
  • PDF
  • English
  • Year: 2006
  • Author: Joris van der Hoeven (auth.)
The Jolly Writer
  • PDF
  • English
  • Year: 2020
  • Author: Joris van der Hoeven
Asymptotic Differential Algebra and Model Theory of Transseries: (AMS-195)
  • PDF
  • English
  • Year: 2017
  • Author: Matthias Aschenbrenner; Lou van den Dries; Joris van der Hoeven
Witness for zero-testing
  • GZ
  • English
  • Author: Van der Hoeven.
Automatic numerical expansions 1994
  • GZ
  • English
  • Author: Van der Hoeven.