An Elementary Proof of Krull's Intersection Theorem.

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

Keyphrases

reinforcement learning
interactive theorem proving
proof planning
theorem proving
von neumann
school children
genetic algorithm
data sets
data mining
feature selection
database systems
theorem prover
set theory
mathematical proofs