## Fritz H. Obermeyer
My thesis project, Johann, was a system for doing and verifying mathematics and programming, based on combinators and untyped lambda calculus. Johann uses some knowledge representation and statistical learning tricks to prove/verify statements expressed in a particular lambda-calculus. Notes - Resume - Thesis: Abstract, Final Draft, Talk |

- Johann:
- a system for expressing and verifying mathematics using combinators.
- Jenn:
- software for visualizing coxeter polytopes.

"Short-term Ambiguity Assessment to Augment Tracking Data Association Information",S. Gadaleta, S. Herman, M. Levedahl, S. Miller, F. Obermeyer, B.J.Slocumb, and A.B.Poore, Fusion 2005 |

"A Bayesian Network Tracking Database",Fritz Obermeyer and Aubrey Poore, Proceedings of SPIE Signal and Data Processing of Small Targets 2004 |

"Batch maximum likelihood (ML) and maximum a posteriori (MAP) estimation with process noise for tracking applications",A.B.Poore, B.J.Slocumb, B.J.Suchomel, F.H.Obermeyer, S.M.Herman, S.M.Gadaleta, Proceedings of SPIE Signal and Data Processing of Small Targets 2003 |