4 citations · 13 across the 10 of their papers we have counts for
Showing 2005Show all
3 papers · 1 filter
cs.SC2005
An introspective algorithm for the integer determinant
Jean-Guillaume Dumas, Anna Urbanska
We present an algorithm computing the determinant of an integer matrix A. The algorithm is introspective in the sense that it uses several distinct algorithms that run in a concurr…
cs.SC2005
Towards a diagrammatic modeling of the LinBox C++ linear algebra library
Jean-Guillaume Dumas, Dominique Duval
We propose a new diagrammatic modeling language, DML. The paradigm used is that of the category theory and in particular of the pushout tool. We show that most of the object-orient…
math.OC2005
An hybrid system approach to nonlinear optimal control problems
Jean-Guillaume Luc Dumas, Aude Rondepierre
We consider a nonlinear ordinary differential equation and want to control its behavior so that it reaches a target by minimizing a cost function. Our approach is to use hybrid sys…