Proof of two conjectures of Petkovšek and Wilf on Gessel walks.
Ping SunPublished in: Discret. Math. (2012)
Keyphrases
- theorem prover
- geometry theorem proving
- automated theorem proving
- theorem proving
- linear logic
- genetic algorithm
- artificial intelligence
- multimedia
- multiscale
- inductive inference
- first order logic
- artificial neural networks
- formal proof
- natural deduction
- inference rules
- neural network
- computer science
- objective function
- face recognition
- information retrieval
- machine learning