Coherence for Frobenius pseudomonoids and the geometry of linear proofs.

Lawrence Dunn Jamie Vicary

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

three dimensional
neural network
databases
bayesian networks
closed form
database
learning algorithm
artificial intelligence
computer vision
image processing
geometric constraints
linear model
geometric information
simple linear
elliptic curve