Arnaud Minondo
PhD student working on efficient reliable symbolic numeric integrators
Contact Information
Location
CNRS, LIX (UMR 7161)
Campus de l'École polytechnique
1, rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing, CS35003
91120 Palaiseau, France
Position
PhD student
Phone
+33 6 52 46 88 34
Resume
About Me
I am from Grenoble so I love nature, hiking is one of my most important hobbies. I took the picture on the right during a casual hike to Dent de Crolles near my parents' home. The sun sets just behind Chamechaude which is the round summit on the top right corner of the picture. Had we been able to see through the clouds, we would be able to see Grenoble in the valley on the left of te image. I love playing soccer and chess.
I support GNU TeXmacs which is a very powerfull scientific editor. It is arguably more efficient than writing LaTeX. I also support Mathemagix which is a high level language based on C/C++ standard library and provides the user with tools for numeric and symbolic computations.
Research Interests
Differential Equations
I am eager to learn all that can be useful to develop faster integration algorithms for ordinary differential equations.
Runge–Kutta processes
I am currently working on a way to certify Runge–Kutta processes.
Certified Computations
I want my algorithms to establish theorems in the sense that the error bounds output of the algorithms are proven to enclose the actual solution of the given differential equation.
Symbolic Computations
To simplify mathematical pre-computations and eventually speed up the whole algorithm, symbolic computations are powerfull, especially in the context of Runge–Kutta processes where mathematical expressions are hardly writable by hand.
Fast computations
I am genuinely interested about Straight Line Programs which introduce a nice framework to work with.