Another Proof of a Conjecture by Hirschhorn and Sellers on Overpartitions.
Liuquan WangPublished in: J. Integer Seq. (2014)
Keyphrases
- online auctions
- theorem proving
- electronic commerce
- theorem prover
- electronic marketplaces
- geometry theorem proving
- neural network
- linear logic
- software agents
- information systems
- computer vision
- information retrieval
- real world
- image sequences
- real time
- artificial intelligence
- automated theorem proving
- proof theory
- search costs
- data sets