Graphical affine algebra

DOI10.5555/3470152.3470211MaRDI QIDQ6654524zbMATH OpenFDO

Authors Filippo Bonchi, Robin Piedeleu, Paweł Sobociński, Fabio Zanasi

Publication date 19 December 2024

Full work available at URL https://doi.org/10.5555/3470152.3470211

Mathematics Subject Classification ID

Theory of software (68Nxx)

Cited in

(17)

• A complete diagrammatic calculus for Boolean satisfiability
• Graphical quadratic algebra
• The produoidal algebra of process decomposition
• Rewriting modulo traced comonoid structure
• A diagrammatic algebra for program logics
• Context-free languages of string diagrams
• A categorical treatment of open linear systems
• A graphical \#SAT algorithm for formulae with small clause density
• Point-free calculational proofs and program derivation in linear algebra using a graphical syntax
• Optics for premonoidal categories
• Constructor theory as process theory
• Normalizing resistor networks
• The relational machine calculus
• Rewriting for symmetric monoidal categories with commutative (co)monoid structure
• Probabilistic programming with exact conditions
• A complete theory of sequential digital circuits: denotational, operational and algebraic semantics
• Graphical quadratic algebra: a complete calculus for convex optimisation and Gaussian probability

This page was built for publication: Graphical affine algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6654524)