James Davenport: Branch Cuts and Formal Methods? External Video-URL https://www.youtube.com/watch?v=uWkbJ_aCnPE Preview-Image Search Engine Exclude no
