dzako / dpdes Goto Github PK
View Code? Open in Web Editor NEWImported 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
Home Page: https://link.springer.com/article/10.1007/s10915-013-9749-1