Applications range from the proof of the Seiberg–Witten theory, or the conjectures of Erickson–Semenoff–Zarembo and Drukker– Gross to checks of various dualities, and precision tests of the AdS/CFT correspondence.