Arithmetic Circuit Verification

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

Leave a Reply

Your email address will not be published.

Guest visitors to the Faculti website can view any insight monthly. You have insight(s) remaining for this month

Register for free as an individual and view thousands of insights in our archive today or subscribe for subject access.

You may already have institutional access to Faculti. Please access Faculti using your institution credentials.

Copyright © Faculti Media Limited 2022. All rights reserved.

Add the Faculti Web App to your Mobile or Desktop homescreen