Login / Signup
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