Proof of a positivity conjecture on Schur functions.

William Y. C. Chen Anne X. Y. Ren Arthur L. B. Yang

Published in: J. Comb. Theory, Ser. A (2013)

Keyphrases

theorem prover
theorem proving
neural network
website
data structure
special case
mobile robot
first order logic
functional language