) ≅ ℤ/2ℤ and Computing a Brunerie Number in Cubical Agda.

Axel Ljungström Anders Mörtberg

Published in: CoRR (2023)

Keyphrases

maximum number
artificial intelligence
database systems
huge number
image segmentation
preprocessing
finite number