Computer-aided analysis of patents and search for TRIZ contradictions. (4th December 2006)