A short proof for the open quadrant problem.

José F. Fernando Carlos Ueno

Published in: J. Symb. Comput. (2017)

Keyphrases

theorem proving
theorem prover
website
databases
face recognition
bayesian networks
search space
linear logic
proof planning
mathematical proofs