Login / Signup
A Formal Proof of PG Recurrence Equations of Parallel Adders.
Gang Chen
Xiaoyu Song
Guowu Yang
Ting Wang
Xiaoqiao Mu
Yongqian Fan
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2021)
Keyphrases
</>
formal proof
theorem prover
artificial intelligence
database
parallel processing
bit parallel
linear systems
multiple valued
neural network
mathematical model
differential equations
parallel computation