Login / Signup
A Combinatorial Proof of the Log-Concavity of a Famous Sequence Counting Permutations.
Miklós Bóna
Published in:
Electron. J. Comb. (2005)
Keyphrases
</>
theorem prover
long sequences
artificial intelligence
social networks
computer vision
case study
learning environment
video sequences
probability distribution
theorem proving