Ilya Kovalenko (ikovalenko92)

ikovalenko92

Geek Repo

Company:Penn State University

Home Page:https://sites.google.com/view/ilya-kovalenko/home

Twitter:@ilyakovalenko_

Github PK Tool:Github PK Tool


Organizations
cais-psu

Ilya Kovalenko's starred repositories

Kalman-and-Bayesian-Filters-in-Python

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:16476Issues:0Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:10180Issues:0Issues:0