Declarative Kalman filtering from dynamics expressions. Write the physics, derive the filter.
Forked from https://github.com/pewniak747/polynomial-ruby and made into a gem.