Formal proof of integer adders using all-prefix-sums operation.

Feng Liu QingPing Tan Otmane Aït Mohamed

Published in: Sci. China Inf. Sci. (2012)

Keyphrases

formal proof
bit parallel
data structure
theorem prover
binary matrix
website
decision trees
case study
pattern matching
integer valued
data sets
optimal solution
lower bound
floating point