Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Gröbner Bases

2014 ◽  
Author(s):  
Tim Pruss ◽  
Priyank Kalla ◽  
Florian Enescu
Keyword(s):  
Gröbner Bases ◽  
Galois Field ◽  
Grobner Bases ◽  
Arithmetic Circuits ◽  
Word Level ◽  
Equivalence Verification

scholarly journals Gröbner bases for operads

2010 ◽  
Vol 153 (2) ◽  
pp. 363-396 ◽  
Author(s):  
Vladimir Dotsenko ◽  
Anton Khoroshkin
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases

scholarly journals Gröbner bases over fields with valuations

2018 ◽  
Vol 88 (315) ◽  
pp. 467-483 ◽  
Author(s):  
Andrew J. Chan ◽  
Diane Maclagan
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases
Sign in / Sign up

Export Citation Format

Share Document