Finitely Generated Abelian Groups.

Joseph Thommes Manuel Eberl

Published in: Arch. Formal Proofs (2021)

Keyphrases

wide range
automatically generated
automatically generating
digital libraries
inductive inference
similar objects