User:Michael Meyling

I am a mathematician and founder of the project Hilbert II that aims to become a free, world wide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form.

I also founded small open source projects like Poor Woman's Telnet Server or a star field simulation. A detailed overview about my open source projects can be found at my sourceforge profile.

Some other information can be found at my home page.