制图员 swMATH编号： 40952 软件作者： 帕维尔·索博辛斯基、保罗·W·威尔逊、法比奥·扎纳西 描述： 制图师是一种交互式编辑字符串图的工具：CARTOGRAPER：字符串图推理工具。我们介绍了制图器，这是一个编辑和重写对称单体范畴字符串图的工具。我们的方法是原则性的：布局利用了字符串图和超图的某些同跨之间的同构；重写的实现是基于用于字符串图重写的凸双pushout重写的可靠性和完备性。 主页： http://cartographer.id 源代码： https://github.com/statusfailed/cartographer网站 相关软件： 卡特拉布;光图.jl;量子力学 引用于： 2文件 5位作者引用 1 埃文·帕特森 1 戴维·斯皮瓦克。 1 德米特里·瓦格纳 1 保罗·W·威尔逊。 1 法比奥·扎纳西 0连载引用 在1个字段中引用 2 范畴理论；同调代数（18-XX） 按年份列出的引文