An Elementary Proof for the Krull Dimension of a Polynomial Ring.

Melvyn B. Nathanson

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

Keyphrases

vapnik chervonenkis dimension
theorem prover
theorem proving
low order
genetic algorithm
support vector
artificial neural networks
automated theorem proving
knowledge base
data structure
multi dimensional
high dimension
set theory
complete axiomatization