Towards solid abelian groups: A formal proof of Nöbeling's theorem.

Dagur Tómas Ásgeirsson

Published in: CoRR (2023)

Keyphrases

formal proof
theorem prover
three dimensional
von neumann
computer vision
feature selection
neural network
metadata
website