多圏のメンドクサさ

http://arxiv.org/pdf/math/0606735v3.pdf より：

For a start, the sheer quantity of data that one must check for even simple proofs quickly becomes overwhelming.

• sheer : 〔生地などが〕シアーの、透けるほど薄い
• overwhelming : 〔感情的に人を〕圧倒する、打ちのめす / 〔力や数で〕圧倒［征服］する / 〔大きさなどが〕圧倒的な、巨大な

the genuinely interesting combinatorics involved would be obscured by a morass of trivial details.

• genuinely : 誠実に、純粋に、心から、本音で / 真に、正真正銘、本物で、本場で、血統が純粋のままで、純種で / 生まれつき、生来
• obscured : 覆い隠される
• morass 沼地、泥沼、低湿地帯、難局

... to reduce this Herculean task to something more manageable.

• herculean : 〔仕事などが〕大力を要する、非常に困難な［骨の折れる］