Discrete riccati-equation solutions: Generalized partitioned algorithms
The analysis of a parameter identification algorithm which was derived from the continuous time Kalman filter
On the limit distribution of the entropy of random partitions
Formalization of equivalence of recursively defined functions
Cyclic closure properties of automata on a two-dimensional tape