Jonathan Prieto-Cubides | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Håkon Robbestad Gylterud
1 publication

research

∙ 12/13/2021

On Planarity of Graphs in Homotopy Type Theory

In this paper, we present a constructive and proof-relevant development ...

0 Jonathan Prieto-Cubides, et al. ∙

research

∙ 12/13/2021

On Homotopy of Walks and Spherical Maps in Homotopy Type Theory

We work with combinatorial maps to represent graph embeddings into surfa...

0 Jonathan Prieto-Cubides, et al. ∙