Binomial Coefficients and Anti-exceedances of Even Permutations: A Combinatorial Proof.
Roberto MantaciPublished in: J. Comb. Theory, Ser. A (1993)
Keyphrases
- probability distribution
- linear combination
- basis functions
- wavelet coefficients
- theorem proving
- theorem prover
- data sets
- mathematical proofs
- proof planning
- linear logic
- small number
- neural network
- evolutionary algorithm
- multiscale
- feature extraction
- decision trees
- computer vision
- learning automata
- autoregressive model
- genetic algorithm
- proof theory
- security protection
- real time
- geometry theorem proving