Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.
Imported from bitbucket.org, published originally on 2017‑10‑01. Source codes and numerical data of the computer assisted proof as presented in the paper “Computer-assisted proof of heteroclinic co…
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 ri…
Topological Data Analysis of fluid flows
Forked from mdaislam006/CLRT
Source code for Continuous Time Lagrangian Reachability. From our paper
Lecture notes from "Numerical Analysis for Artificial Intelligence" course I presented at UCSD, CSE department
in the last year
November - December 2018
dzako has no activity yet for this period.
Press h to open a hovercard with more details.