Login / Signup
A combinatorial proof of a formula of Biane and Chapuy.
Sinho Chewi
Venkat Anantharam
Published in:
CoRR (2017)
Keyphrases
</>
theorem prover
linear logic
artificial intelligence
mathematical proofs
geometry theorem proving
decision trees
information retrieval
information systems
data structure
search algorithm
hidden markov models
logic programs
theorem proving
horn clauses
automated theorem proving
proof search