A Combinatorial Proof of the Log-Convexity of Catalan-Like Numbers.

Hua Sun Yi Wang

Published in: J. Integer Seq. (2014)

Keyphrases

digital convexity
theorem prover
theorem proving
geometry theorem proving
database
databases
convex hull
linear logic
proof planning
covering arrays
e learning
decision trees
digital geometry