I worked with Dr. Caldwell on a distributed way to share mathematical knowlegde over the Internet. For that purpose we developed a prototype that uses a Peer-to-Peer framework(JXTA) to query Formal Digital Libraries(FDL).

As a side project we implemented a tool that renders Theorems received from the FDL in a human readable form. We used XML to specify display forms. Currently we are able to render Theorems as Unicode strings and with help of latex2html even as an image.

My thesis can be downloaded here.