Formalising Families of ℓ-adic Galois Representations in Lean 4.

Published in: ICMS (2024)

Keyphrases

higher level
search engine
objective function
multiple representations
formal concepts
database
data sets
artificial intelligence
formal concept analysis