Login / Signup

Formalising perfectoid spaces.

Kevin BuzzardJohan CommelinPatrick Massot
Published in: CPP (2020)
Keyphrases
  • evolutionary algorithm
  • design space
  • information retrieval
  • object recognition
  • topological spaces