Leram - Algorithms of Estimation for Nonlinear Systems: A Differential and Algebraic Viewpoint