New Proof of a Theorem of Szekeres.

Hadi Kharaghani

Published in: J. Comb. Theory, Ser. A (1985)

Keyphrases

interactive theorem proving
theorem proving
linear logic
data sets
three dimensional
intuitionistic logic
geometry theorem proving
computer vision
case study
first order logic
theorem prover
digital topology
proof planning
heavy traffic limit