Login / Signup
A short proof of the Chen-Manalastas theorem.
J. Adrian Bondy
Published in:
Discret. Math. (1995)
Keyphrases
</>
interactive theorem proving
data sets
neural network
image processing
special case
theorem proving
data mining
video sequences
probability distribution
von neumann
automated theorem proving
proof theory
intuitionistic logic
mathematical proofs
geometry theorem proving