Proof of a conjecture on fractional Ramsey numbers.

Jason I. Brown Richard Hoshino

Published in: J. Graph Theory (2010)

Keyphrases

theorem prover
linear logic
fractional order
real time
relational databases
geometry theorem proving
databases
search engine
information systems
face recognition
computational complexity
complete axiomatization
mathematical proofs