Taylor , together with Christophe Breuil , Brian Conrad , and Fred Diamond , completed the proof of the Taniyama-Shimura conjecture , by performing quite heavy technical computations in the case of additive reduction .
Later , together with Christophe Breuil , Brian Conrad , and Fred Diamond , he completed proving the Taniyama-Shimura conjecture , by performing very difficult computations .