On homotopy of walks and spherical maps in homotopy type theory.

Jonathan Prieto-Cubides

Published in: CPP (2022)

Keyphrases

fixed point
theoretical framework
databases
artificial intelligence
theoretical basis
three dimensional
theoretical foundation
database
neural network
website
decision trees