The Fundamental Theorem of Finite Fields: A Proof from First Principles.

Anastasia Chavez Christopher O'Neill

Published in: Am. Math. Mon. (2022)

Keyphrases

complete axiomatization
computer vision
theorem proving
information retrieval
learning algorithm
three dimensional
multi agent
machine learning
information technology
description logics
medical images
theoretical framework
theorem prover
geometry theorem proving