Inductive and injective proofs of log concavity results.
Bruce E. SaganPublished in: Discret. Math. (1988)
Keyphrases
- inductive learning
- convex hull
- inductive logic programming
- formal proofs
- neural network
- inductive concept learning
- mathematical proofs
- log log
- formal proof
- inductive inference
- machine learning
- equational theories
- theorem proving
- artificial intelligence
- theorem prover
- log files
- concept learning
- log analysis
- point pairs
- natural deduction
- logic programs
- knowledge representation
- bayesian networks
- clustering algorithm
- website