Keyphrases
- computer algebra
- theorem prover
- vlsi design
- signal processing
- vlsi circuits
- high speed
- neural network
- computer algebra systems
- single chip
- automated theorem provers
- processor array
- syntactic pattern recognition
- vlsi implementation
- case study
- artificial intelligence
- real time
- database systems
- learning algorithm
- gate array