Approximate hardware generation using symbolic computer algebra employing grobner basis.
Saman FröhlichDaniel GroßeRolf DrechslerPublished in: DATE (2018)
Keyphrases
- computer algebra
- computer algebra systems
- theorem prover
- low cost
- real time
- computer systems
- hardware and software
- computing power
- data sets
- algebraic geometry
- general purpose
- inference rules
- data acquisition
- massively parallel
- training data
- hardware design
- hardware architecture
- symbolic data
- image processing
- parallel hardware
- automated theorem provers