A Combinatorial Proof of the Mehler Formula.

Dominique Foata

Published in: J. Comb. Theory, Ser. A (1978)

Keyphrases

theorem proving
mathematical proofs
expert systems
databases
machine learning
theorem prover
linear logic
database
bayesian networks
automated theorem proving
natural deduction
geometry theorem proving