Maciej Ciesielski discusses theoretical aspects of arithmetic circuit verification based on algebraic rewriting. Its goal is to advance the understanding of algebraic techniques for arithmetic circuit verification in the context of symbolic computer algebra. Image courtesy of Maciej Ciesielski. Research sponsored by the National Science Foundation (NSF).
Image courtesy of interviewee. April 22, 2021