A combinatorial proof of the Lebesgue identity.

Published in: Discret. Math. (2008)

Keyphrases

theorem proving
theorem prover
linear logic
neural network
decision trees
identity management
geometry theorem proving