Mathematical reasoning :patterns, problems, conjectures, and proofs 2010