A Formalization of Finite Group Theory: Part III.

David M. Russinoff

Published in: CoRR (2023)

Keyphrases

theoretical framework
theoretical basis
data structure
formal model
database
real world
theoretical foundation
decision making
e learning
computer science
computational model
finite number
formal semantics
formal theory