Application of symbolic computer algebra to arithmetic circuit verification.

Yuki Watanabe Naofumi Homma Takafumi Aoki Tatsuo Higuchi

Published in: ICCD (2007)

Keyphrases

computer algebra
computer algebra systems
real time
knowledge base
databases
learning algorithm
multi agent
high speed
decision support
symbolic representation