This is a preview. Log in through your library . Abstract THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove ...
In recent work, Alladi, Andrews and Gordon discovered a key identity which captures several fundamental theorems in partition theory. In this paper we construct a combinatorial bijection which ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback