/dpdes

Imported from bitbucket.org. C++ software library for constructing reachability bounds for solutions of parabolic PDEs. Explained in the publication entitled "Efficient and generic algorithm for rigorous integration forward in time of dPDEs. Part I" by Jacek Cyranka

Primary LanguageC++

This program is part of the publication entitled 
"Efficient and generic algorithm for rigorous integration
forward in time of dPDEs. Part I" by Jacek Cyranka.
Distributed under GNU General Public License.

See www.cyranka.net or www.ii.uj.edu.pl/~cyranka for details.

Program version: 24 June 2013