共 50 条
- [31] Computing generic bivariate Grobner bases with MATHEMAGIX ACM COMMUNICATIONS IN COMPUTER ALGEBRA, 2019, 53 (02): : 41 - 44
- [32] Towards a certified and efficient computing of Grobner bases COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2005, 2005, 3643 : 111 - 120
- [37] Inference of Polynomial Invariants for Imperative Programs: A Farewell to Grobner Bases STATIC ANALYSIS, SAS 2012, 2012, 7460 : 58 - 74
- [38] Grobner-Shirshov bases for relations of a Lie algebra and its enveloping algebra ALGEBRAS AND COMBINATORICS, 1999, : 47 - 54
- [40] SYMMETRIC POLYOMINO TILINGS, TRIBONES, IDEALS, AND GROBNER BASES PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2015, 98 (112): : 1 - 23