scholarly journals A polynomial reduction algorithm

1991 ◽  
Vol 3 (2) ◽  
pp. 351-360 ◽  
Author(s):  
Henri Cohen ◽  
Francisco Diaz Y Diaz
Keyword(s):  
Reduction Algorithm ◽  
Polynomial Reduction

scholarly journals AMulet 2.0 for Verifying Multiplier Circuits

2021 ◽  
pp. 357-364
Author(s):  
Daniela Kaufmann ◽  
Armin Biere
Keyword(s):  
Computer Algebra ◽  
Gröbner Bases ◽  
Grobner Bases ◽  
Reduction Algorithm ◽  
Elimination Theory ◽  
Verification Tool ◽  
Polynomial Reduction ◽  
Fully Automatic ◽  
Automatic Tool ◽  
The Given

AbstractAMulet 2.0 is a fully automatic tool for the verification of integer multipliers using computer algebra. Our tool models multiplier circuits given as and-inverter graphs as a set of polynomials and applies preprocessing techniques based on elimination theory of Gröbner bases. Finally it uses a polynomial reduction algorithm to verify the correctness of the given circuit. AMulet 2.0 is a re-factorization and improved re-implementation of our previous multiplier verification tool AMulet 1.0.

Application of an attribute reduction algorithm based on discernibility matrix in PBNM

2014 ◽  
Author(s):  
Shuo Feng ◽  
Haiying Chu ◽  
Xuyang Wang ◽  
Yuanka Liang ◽  
Xianwei Shi ◽  
...  
Keyword(s):  
Attribute Reduction ◽  
Reduction Algorithm ◽  
Discernibility Matrix

A New Lattice Reduction Algorithm Based on Genetic Strategy

2014 ◽  
Vol 35 (8) ◽  
pp. 1940-1945 ◽  
Author(s):  
Xiang-hui Liu ◽  
Wen-bao Han ◽  
Jian-xiao Quan
Keyword(s):  
Lattice Reduction ◽  
Reduction Algorithm
Sign in / Sign up

Export Citation Format

Share Document