发布时间：2025-12-08 点击次数：
DOI码：10.1016/j.jsc.2007.05.005
发表刊物：Journal of Symbolic Computation
论文类型：期刊论文
卷号：44
期号：3
页面范围：242-260
是否译文：否
发表时间：2009-12-08
收录刊物：SCI