A Combinatorial proof of a partition identity of Andrews and Stanley.

Andrew V. Sills

Published in: Int. J. Math. Math. Sci. (2004)

Keyphrases

neural network
theorem proving
theorem prover
identity management
social networks
artificial neural networks
linear logic
automated theorem proving
geometry theorem proving
expert systems
social context
partitioning algorithm
logical rules
proof planning