@inproceedings{discovery10081115,
           month = {November},
          series = {Leibniz International Proceedings in Informatics (LIPIcs)},
            year = {2019},
           title = {CARTOGRAPHER: a Tool for String Diagrammatic Reasoning},
       publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
          volume = {139},
            note = {{\copyright} Pawe{\l} Soboci{\'n}ski, Paul W. Wilson, and Fabio Zanasi;
licensed under Creative Commons License (CC-BY).},
         address = {Dagstuhl, Germany},
       booktitle = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
           pages = {20:1--20:7},
          editor = {M Roggenbach and A Sokolova},
        keywords = {tool, string diagram, symmetric monoidal category, graphical reasoning},
             url = {http://dx.doi.org/10.4230/LIPIcs.CALCO.2019.20},
            issn = {1868-8969},
          author = {Sobocinski, P and Wilson, P and Zanasi, F},
        abstract = {We introduce cartographer, a tool for editing and rewriting string diagrams of symmetric monoidal categories. Our approach is principled: the layout exploits the isomorphism between string diagrams and certain cospans of hypergraphs; the implementation of rewriting is based on the soundness and completeness of convex double-pushout rewriting for string diagram rewriting.}
}