Login / Signup

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

Axel LjungströmAnders Mörtberg
Published in: LICS (2023)
Keyphrases
  • small number
  • neural network
  • decision making
  • cooperative
  • computational effort
  • huge number
  • fixed number
  • maximum number
  • real world
  • case study
  • face recognition
  • search algorithm
  • computational complexity
  • special case