[Haskell-cafe] ANN: interval and polynomial enclosure arithmetics

[Roman Cheplyaka]

* Michal Konecny <mik at konecny.aow.cz> [2008-08-08 13:38:56+0100]
> and members of the KEG research group at Aston 
> University have used  it for reliably solving differential equations 
> and numerical constraint satisfaction problems.

This's very interesting. Do you have any published papers (or other
sources of information) about it?

-- 
Roman I. Cheplyaka :: http://ro-che.info/
kzm: My program contains a bug. How ungrateful, after all I've done for it.