Mathematical Methods for Protein Structure Analysis and Design