%0 Generic
%A Sobocinski, P
%A Wilson, P
%A Zanasi, F
%C Dagstuhl, Germany
%D 2019
%E Roggenbach, M
%E Sokolova, A
%F discovery:10081115
%I Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
%K tool, string diagram, symmetric monoidal category, graphical reasoning
%P 20:1-20:7
%T CARTOGRAPHER: a Tool for String Diagrammatic Reasoning
%U https://discovery.ucl.ac.uk/id/eprint/10081115/
%V 139
%X 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.
%Z © Paweł Sobociński, Paul W. Wilson, and Fabio Zanasi;  licensed under Creative Commons License (CC-BY).