A short proof of Fleischner's theorem.

Agelos Georgakopoulos

Published in: Discret. Math. (2009)

Keyphrases

interactive theorem proving
theorem proving
theorem prover
neural network
heavy traffic limit
search engine
information systems
image processing
similarity measure
multiresolution
real time
queue length
linear logic
automated theorem proving
proof planning
mathematical proofs
databases