An almost-bijective proof of an asymptotic property of partitions.

Aaron D. Jaggard

Published in: Random Struct. Algorithms (2007)

Keyphrases

worst case
theorem proving
database
search engine
website
probabilistic model
desirable properties
linear logic
logical rules