This could be very useful

Techniques for: finding, solving, proving, optimizing .. etc

http://www.tricki.org/tricki/map