Re: Validated ODEs %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Bonjour,Hi,

 For solving ode and pde you may go to 

 http://convode.pysique.fundp.ac.be

but I do not know if it is what you are looking for.

Amites,

 Alain Moussiaux
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


On Tue, 2005-04-26 at 13:36, Dirk Pattinson wrote:
> Dear all,
> 
> at Imperial College, we are at the moment in the process of building
> a tool for validated integration of ODEs, where the vector field
> that defines the equation is not smooth (but still Lipschitz).
> Examples of such equations occur e.g. in control theory. Our hope is
> to improve on existing techniques by using generalised gradients. 
> 
> Of course, we are very interested in other packages / tools to
> compare our approach to. 
> 
> I'd be very grateful for any references to methods, and in particular
> to implemented package, that handle validated ODE integration for
> non-smooth vector fields.
> 
> Best,
> 
> Dirk.
> 



