Login / Signup
An Elementary Proof of Jin's Theorem with a Bound.
Mauro Di Nasso
Published in:
Electron. J. Comb. (2014)
Keyphrases
</>
interactive theorem proving
upper bound
lower bound
worst case
error bounds
theorem prover
theorem proving
linear logic
proof planning
similarity measure
multiscale
computational complexity
np hard
proof theory
digital topology