Formalising perfectoid spaces.

Kevin Buzzard Johan Commelin Patrick Massot

Published in: CoRR (2019)

Keyphrases

neural network
database
multimedia
natural language
feature selection
image sequences
multiscale
feature vectors
user interface
multiresolution
hidden markov models