A Formalization of Finite Group Theory.

David M. Russinoff

Published in: ACL2 (2022)

Keyphrases

formal model
theoretical foundation
theoretical basis
general theory
data sets
neural network
social networks
theoretical framework
real time
databases
web services
image segmentation
artificial neural networks
user interface
logical framework