Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques.

Vikas Rao Haden Ondricek Priyank Kalla Florian Enescu

Published in: ICCD (2021)

Keyphrases

computer algebra
integer arithmetic
theorem prover
euclidean distance transform
computer algebra systems
camera calibration
stereo images
automated theorem provers
binary images
data structure
color images
np hard