约格·西克曼;克里斯托夫·本兹穆勒;谢尔盖·奥特西尔 计算机支持的数学与\(\Omega\)MEGA。 (英语) Zbl 1107.68101号 J.应用。日志。 4,第4期,533-559(2006).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Siekmann}等人,J.Appl。日志。4,第4号,533--559(2006;Zbl 1107.68101) 全文: DOI程序
尤根·齐默;艾丽卡,梅利斯 验证规划的约束求解。 (英语) Zbl 1071.68093号 J.自动化。推理 33,第1期,51-88(2004).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zimmer}和\textit{E.Melis},J.Autom。推理33,No.1,51--88(2004;Zbl 1071.68093) 全文: DOI程序
安德烈亚斯·梅耶;马丁·波莱特;索尔奇,沃尔克 对残差类领域的探索方法进行比较。 (英语) Zbl 1038.68110号 J.塞姆。计算。 34,第4期,287-306(2002).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人,J.Symb。计算。34,第4号,287--306(2002;Zbl 1038.68110) 全文: DOI程序 链接