Journal of symbolic computation. 2002;33(2):183-208. doi: 10.1006/jsco.2001.0504 Q21.12025
A New Algorithm for Discussing Gröbner Bases with Parameters
DOI: 10.1006/jsco.2001.0504
摘要 查看摘要
Journal of symbolic computation. 2002;33(2):183-208. doi: 10.1006/jsco.2001.0504 Q21.12025
DOI: 10.1006/jsco.2001.0504
摘要 查看摘要