Login / Signup
A short proof of the non-uniform Ray Chauhuri - Wilson inequality.
László Babai
Published in:
Comb. (1988)
Keyphrases
</>
ray tracing
theorem prover
theorem proving
digital libraries
information systems
artificial neural networks
linear logic
databases
genetic algorithm
artificial intelligence
e learning
metadata
linear program
logical rules
proof planning