12 citations · 19 across the 6 of their papers we have counts for
3 papers · 1 filter
Graphical Piecewise-Linear Algebra
Guillaume Boisseau, Robin Piedeleu
Graphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model var…
String Diagrammatic Electrical Circuit Theory
Guillaume Boisseau, Paweł Sobociński
We develop a comprehensive string diagrammatic treatment of electrical circuits. Building on previous, limited case studies, we introduce controlled sources and meters as elements,…
Diagrammatic Polyhedral Algebra
Filippo Bonchi, Alessandro Di Giorgio, Pawel Sobocinski
We extend the theory of Interacting Hopf algebras with an order primitive, and give a sound and complete axiomatisation of the prop of polyhedral cones. Next, we axiomatise an affi…