User:Michael Meyling

From Wikipedia, the free encyclopedia

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 "https://en.wikipedia.org/w/index.php?title=User:Michael_Meyling&oldid=49623670"