Login / Signup
A Combinatorial Proof for Cayley's Identity.
Markus Fulmek
Published in:
Electron. J. Comb. (2014)
Keyphrases
</>
theorem prover
theorem proving
mathematical proofs
databases
neural network
data mining
proof theory
geometry theorem proving
database
data sets