Delooping Generated Groups in Homotopy Type Theory.

Camil Champin Samuel Mimram Émile Oleon

Published in: FSCD (2024)

Keyphrases

theoretical basis
high level
databases
generation process
real time
neural network
computer vision
multimedia
data structure
relational databases
special case
computational model
automatically generated
automatically generating