A Short Proof for the Krull Dimension of a Polynomial Ring.

Thierry Coquand Henri Lombardi

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

Keyphrases

vapnik chervonenkis dimension
computer vision
linear logic
information retrieval
case study
theorem proving
number of queries needed
databases
search algorithm
proof theory
lower dimension