User:Michael Meyling

From Wikipedia, the free encyclopedia

You have new messages (last change).

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.

Retrieved from "http://en.wikipedia.org../../../m/i/c/User%7EMichael_Meyling_4b6f.html"