Login / Signup
Combinatorial and Automated Proofs of Certain Identities.
Justin Brereton
Amelia Farid
Maryam Karnib
Gary Marple
Alex Quenon
Akalu Tefera
Published in:
Electron. J. Comb. (2011)
Keyphrases
</>
automated theorem provers
theorem proving
semi automated
semi automatic
automated analysis
real time
databases
data mining
e learning
multiscale
search algorithm
inference rules
formal proofs