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
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
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
https://link.springer.com/article/10.1007/s10915-013-9749-1