On symmetries of spheres in univalent foundations.

Pierre Cagne Ulrik Torben Buchholtz Nicolai Kraus Marc Bezem

Published in: LICS (2024)

Keyphrases

artificial intelligence
symmetry breaking
decision trees
viewpoint
expert systems
object recognition
wide range
information systems
clustering algorithm
real time
bayesian networks
search algorithm
computer vision
genetic algorithm
neural network
feature points
databases