沃尔夫拉姆·卡尔 教学工具中的计算关系代数证明CalcCheck(计算检查). (英语) Zbl 1462.68217号 J.日志。阿尔盖布。方法计划。 117,文章ID 100581,39 p.(2020).MSC公司:68伏15 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法程序。117,文章ID 100581,39页(2020;兹bl 1462.68217) 全文: 内政部
彼得·霍夫纳(编辑);彼得·吉普森(编辑);沃尔夫拉姆·卡尔(编辑);马丁·埃里克·米勒(编辑) 计算机科学中的关系和代数方法。 (英语) Zbl 1344.68010号 J.日志。阿尔盖布。方法计划。 85,第4期,447-448(2016).MSC公司:68-06 68号30 68问题65 70年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}(编辑)等人,J.Log。阿尔盖布。方法程序。85,第4号,447--448(2016;Zbl 1344.68010) 全文: 内政部
沃尔夫拉姆·卡尔(编辑);蒂莫西·格里芬。(编辑);彼得·霍夫纳(编辑) 计算机科学中的关系和代数方法。 (英语) 兹比尔1329.68031 J.日志。阿尔盖布。方法计划。 84,第3期,283-284(2015).MSC公司:68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}(编辑)等人,J.Log。阿尔盖布。方法程序。84,第3号,283--284(2015;Zbl 1329.68031) 全文: 内政部
沃尔夫拉姆·卡尔 通过嵌套代码图转换实现“可成型代码”。 (英语) Zbl 1371.68051号 J.日志。阿尔盖布。方法计划。 83,第2期,225-234(2014).MSC公司:68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法程序。83,No.2,225--234(2014;Zbl 1371.68051) 全文: 内政部