scientific article; zbMATH DE number 7453976

zbMath1477.68166arXiv2009.06833MaRDI QIDQ5019298

Blake S. Pollard, John S. Nolan, Spencer Breiner, Eswaran Subrahmanian, Dhananjay Anand

Publication date: 7 January 2022

Full work available at URL: https://arxiv.org/abs/2009.06833

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Monoidal categories, symmetric monoidal categories (18M05)

Related Items

Unnamed Item

Uses Software

• GridLAB-D

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial data migration
• The geometry of tensor calculus. I
• A database of categories.
• GridLAB-D: an agent-based simulation framework for smart grids
• Algebraic Databases
• A Survey of Graphical Languages for Monoidal Categories
• Decorated Cospans
• Markov Chains
• A Compositional Framework for Passive Linear Networks
• Algebraic data integration
• Open Petri nets
• Categories in Control
• A bicategory of decorated cospans
• A compositional framework for reaction networks
• Digraphs
• Minkowski geometric algebra of complex sets