Name                    Last modified       Size  Description

 Parent Directory        25-Jul-2006 09:58      -  
 difeq/                  13-Apr-2007 09:51      -  
 general/                30-Jun-2007 17:09      -  
 linear/                 25-Jul-2006 13:56      -  
 ode/                    19-Aug-2006 21:29      -  
 publish                 20-Dec-2006 13:08     1k  
 results                 17-Jul-2006 10:44     1k  
 ysquare/                13-Apr-2007 09:51      -  

Moore's 1966 "Interval analysis" first order approximation 
swiginac/python implementation and k-th order example C implementation.

Content: 
The subdirectory linear contains the hardcoded example 
dy/dx=-0.12164*y(x), choice of parameters motivated by the atmospheric 
pressure equation at 281 K, this does not use swiginac.

The subdirectory general. This uses swiginac and contains the the 
firstorder method (works).

The subdirectory difeq contains the hardcoded Moore example 
dy/dx=y(x)^2 in C, it follows the Moore flow-chart.

The subdirectory ysquare contains the hardcoded Moore example 
dy/dx=y(x)^2 in python. This does not use swiginac (and this is 
probably buggy).

Context: "Proof interpretations and applications", Diploma thesis, 
http://www.blasum.net/holger/wri/math/an/constructive/

Acknowledgment: Help on swiginac usage questions in July 2006 on the 
swiginac mailing list 
(http://developer.berlios.de/forum/forum.php?forum_id=14433) is thanked 
for.