Login / Signup
A Positive Proof of the Littlewood-Richardson Rule using the Octahedron Recurrence.
Allen Knutson
Terence Tao
Christopher Woodward
Published in:
Electron. J. Comb. (2004)
Keyphrases
</>
expert systems
positive and negative
knowledge acquisition
linear logic
theorem prover
production rules
logical rules
statistical methods
rule discovery
theorem proving
inference rules
automated theorem provers
natural deduction
active databases
database
genetic programming
np hard
multi agent
machine learning