Yan King Yin

Hong Kong

http://code.google.com/p/genifer/

"The ultimate goal of mathematics is to eliminate any need for intelligent thought" -- Alfred North Whitehead