scholarly journals Non-linear loop invariant generation using Gröbner bases

2004 ◽  
Author(s):  
Sriram Sankaranarayanan ◽  
Henny B. Sipma ◽  
Zohar Manna
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases ◽  
Loop Invariant ◽  
Invariant Generation ◽  
Non Linear

scholarly journals Non-linear loop invariant generation using Gröbner bases

2004 ◽  
Vol 39 (1) ◽  
pp. 318-329 ◽  
Author(s):  
Sriram Sankaranarayanan ◽  
Henny B. Sipma ◽  
Zohar Manna
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases ◽  
Loop Invariant ◽  
Invariant Generation ◽  
Non Linear

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
Sign in / Sign up

Export Citation Format

Share Document