A Comparison Theorem for Permanents and a Proof of a Conjecture on (t, m)-Families.

Joseph Y.-T. Leung W.-D. Wei

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

Keyphrases

interactive theorem proving
real time
neural network
information retrieval
case study
geometry theorem proving
data sets
databases
three dimensional
optimal solution
theorem prover
theorem proving
quantitative evaluation
linear logic
mathematical proofs