A Combinatorial Proof of a Recursion for the q-Kostka Polynomials.

Kendra Killpatrick

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

Keyphrases

complex objects
theorem proving
deductive databases
artificial intelligence
multi agent
linear logic
proof planning
geometry theorem proving
data sets
computer vision
feature extraction
piecewise polynomial