Another Proof of an Extension of a Curious Identity

Published in: CoRR (2004)

Keyphrases

theorem proving
wide range
theorem prover
real time
data mining
evolutionary algorithm
personal information
identity management