### /home/mccune/otter-3.3/examples/kalman

Contributed by John Kalman.

`otter < ex_1.in > ex_1.out`

`otter < ex_2.in > ex_2.out`

`otter < ex_3.in > ex_3.out`

`otter < ex_4.in > ex_4.out`

`otter < i1.in > i1.out`

`otter < i2.in > i2.out`

`otter < i3.in > i3.out`

`otter < i4.in > i4.out`

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.