A new bijective proof of a partition theorem of K. Alladi.

Padmavathamma Ramachandra Raghavendra B. M. Chandrashekara

Published in: Discret. Math. (2004)

Keyphrases

interactive theorem proving
theorem prover
natural deduction
intuitionistic logic
database
neural network
proof planning
computer vision
theorem proving
linear logic
data sets
feature selection
case study
von neumann
partitioning algorithm
mathematical proofs