科恩,A.M。;Cuypers,H。;R.Verrijzer。 交互式文档中的数学上下文。 (英语) Zbl 1205.68489号 数学。计算。科学。 3,第3号,331-347(2010).MSC公司:68单位15 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Cohen}等人,《数学》。计算。科学。3,第3号,331--347(2010;Zbl 1205.68489) 全文: DOI程序 OA许可证
阿杰·科恩(Arjeh M.Cohen)。;简·威廉·诺珀;斯科特·默里。 图非同构的自动证明。 (英语) Zbl 1189.05114号 数学。计算。科学。 2,第2期,211-229(2008).MSC公司:05C60型 68兰特 05C25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Cohen}等人,《数学》。计算。科学。2,第2号,211-229(2008;Zbl 1189.05114) 全文: DOI程序