Login / Signup
A New Proof of a Theorem of Harper on the Sperner-Erdös Problem.
Konrad Engel
Published in:
J. Comb. Theory, Ser. A (1985)
Keyphrases
</>
interactive theorem proving
theorem prover
databases
von neumann
theorem proving
data mining
fixed point theorem
proof planning
linear logic
real time
reinforcement learning
mathematical proofs
multiscale
case study
image processing
knowledge base
machine learning
data sets