Nando Leijenhorst - A specialized SDP solver for sums-of-squares problems in discrete geometry

Whole-channel inclusion: Erwin Schrödinger International Institute for Mathematics and Physics (ESI) is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show genuine research-level academic seminar talks with structured technical explanation, consistent with the institute's teaching mission.); this title passed a strict title check (sonnet) after a labelling pass.