A short proof on the cardinality of maximal positive bases.

Published in: Optim. Lett. (2011)

Keyphrases

positive and negative
theorem proving
positively correlated
theorem prover
real time
genetic algorithm
social networks
decision making
data structure
linear combination
positive feedback
proof planning
geometry theorem proving