Login / Signup
A Condensed Condensation Proof of a Determinant Evaluation Conjectured by Greg Kuperberg and Jim Propp.
Tewodros Amdeberhan
Shalosh B. Ekhad
Published in:
J. Comb. Theory, Ser. A (1997)
Keyphrases
</>
data sets
databases
information retrieval
information systems
theorem prover
neural network
relational databases
empirical evaluation
evaluation method
theorem proving