New Proofs for the p, q-Analogue of Chu-Vandermonde's Identity.
George TeseleanuPublished in: Integers (2013)
Keyphrases
- theorem prover
- identity management
- decision procedures
- case study
- formal proof
- equational theories
- information retrieval
- artificial intelligence
- formal proofs
- theorem proving
- wide range
- multi agent
- relational databases
- data sets
- multiscale
- face recognition
- three dimensional
- image segmentation
- knowledge base
- real world