Login / Signup
A Short Proof, Based on Mixed Volumes, of Liggett's Theorem on the Convolution of Ultra-Logconcave Sequences.
Leonid Gurvits
Published in:
Electron. J. Comb. (2009)
Keyphrases
</>
interactive theorem proving
high speed
theorem proving
hidden markov models
neural network
website
theorem prover
real time
data sets
image processing
sequence alignment