On symmetries of spheres in univalent foundations.

Pierre Cagne Ulrik Buchholtz Nicolai Kraus Marc Bezem

Published in: CoRR (2024)

Keyphrases

artificial intelligence
feature points
neural network
image processing
three dimensional
evolutionary algorithm