A High-School Algebra and high-school (purely formal) calculus,.   Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]
  L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra. 
Shalosh B. Ekhad (Temple University) and Doron Zeilberger (Temple   University)