On Planarity of Graphs in Homotopy Type Theory.

Jonathan Prieto-Cubides Håkon Robbestad Gylterud

Published in: CoRR (2021)

Keyphrases

neural network
computer vision
computational model
theoretical framework
fixed point
directed graph
theoretical foundation
graph theory
multiple types
data sets
probabilistic model
complex networks
graph matching