Joris van der Hoeven
[ Homepage | Publications | TeXmacs | Mathemagix ]

Position:

Directeur de Recherche CNRS

Leader of the MAX team

Address:

Laboratoire LIX

École polytechnique

91128 Palaiseau Cedex

France

Telephone: (+33) (0)1.77.57.80.54
Email: vdhoeven@lix.polytechnique.fr

Research interests

My research interests mainly concern the automation of asymptotic calculus using transseries and effective complex analysis. Besides, I am the main developer of the softwares GNU TeXmacs and Mathemagix. My PhD. thesis and the book Transseries and Real Differential Algebra are devoted to the theory of transseries. The main results concern the asymptotic resolution of differential equations, several closure theorems and embedding theorems into Hardy fields. Currently, I am more and more interested in the automation of complex analysis. This leads to interesting theoretical questions about computability, zero-testing, singularities, etc. Another important aspect is the development and implementation of fast, certified and numerically stable algorithms for multi-precision computations. Many special functions fall in, or are related to the class of holonomic functions. I contributed to the development of some particularly efficient algorithms for such functions.

GNU TeXmacs

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content (text, graphics, mathematics, interactive content, etc.). The rendering engine uses high-quality typesetting algorithms so as to produce professionally looking documents, which can either be printed out or presented from a laptop.

The software includes a text editor with support for mathematical formulas, a small technical picture editor and a tool for making presentations from a laptop. Moreover, TeXmacs can be used as an interface for many external systems for computer algebra, numerical analysis, statistics, etc. New presentation styles can be written by the user and new features can be added to the editor using the Scheme extension language. A native spreadsheet and tools for collaborative authoring are planned for later.

Mathemagix

Mathemagix is a free computer algebra system under development. It consists of the following ingredients:

  1. A new high level language, which is imperative, strongly typed, with polymorphim and parametrized types. Mathemagix can also be used as an “extension language”.

  2. Efficient standard libraries are available for algebraic and analytic computations: large numbers, polynomials, power series, matrices, analytic functions, transseries, symbolic expressions, etc.

  3. GNU TeXmacs can be used as a graphical front-end.

Opinions