Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Mathiesen, Mikkel Kragh"'
Publikováno v:
EPTCS 360, 2022, pp. 71-92
We present module theory and linear maps as a powerful generalised and computationally efficient framework for the relational data model, which underpins today's relational database systems. Based on universal constructions of modules we obtain compa
Externí odkaz:
http://arxiv.org/abs/2207.00850
Publikováno v:
EPTCS 360, 2022, pp. 1-26
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars, vectors, matrice
Externí odkaz:
http://arxiv.org/abs/2207.00847