?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=CARTOGRAPHER%3A+a+Tool+for+String+Diagrammatic+Reasoning&rft.creator=Sobocinski%2C+P&rft.creator=Wilson%2C+P&rft.creator=Zanasi%2C+F&rft.description=We+introduce+cartographer%2C+a+tool+for+editing+and+rewriting+string+diagrams+of+symmetric+monoidal+categories.+Our+approach+is+principled%3A+the+layout+exploits+the+isomorphism+between+string+diagrams+and+certain+cospans+of+hypergraphs%3B+the+implementation+of+rewriting+is+based+on+the+soundness+and+completeness+of+convex+double-pushout+rewriting+for+string+diagram+rewriting.&rft.subject=tool%2C+string+diagram%2C+symmetric+monoidal+category%2C+graphical+reasoning&rft.publisher=Schloss+Dagstuhl--Leibniz-Zentrum+fuer+Informatik&rft.contributor=Roggenbach%2C+M&rft.contributor=Sokolova%2C+A&rft.date=2019-11-22&rft.type=Proceedings+paper&rft.publisher=8th+Conference+on+Algebra+and+Coalgebra+in+Computer+Science+(CALCO)&rft.language=eng&rft.source=+++++In%3A+Roggenbach%2C+M+and+Sokolova%2C+A%2C+(eds.)+8th+Conference+on+Algebra+and+Coalgebra+in+Computer+Science+(CALCO+2019).++(pp.+20%3A1-20%3A7).++Schloss+Dagstuhl--Leibniz-Zentrum+fuer+Informatik%3A+Dagstuhl%2C+Germany.+(2019)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10081115%2F1%2FLIPIcs-CALCO-2019-20.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10081115%2F&rft.rights=open