Harshit Motwani: Formal Verification and Synthesis of Polynomial Programs using Algebro-Geometry External Video-URL https://www.youtube.com/watch?v=xZoJsdF9rzU Preview-Image Search Engine Exclude no
