A short proof of kundu's k-factor theorem.

Yong-Chuan Chen

Published in: Discret. Math. (1988)

Keyphrases

interactive theorem proving
linear logic
theorem proving
factor analysis
machine learning
information retrieval
information systems
multi agent
preprocessing
theorem prover
intuitionistic logic
mathematical proofs