An algorithmic proof of Brégman-Minc theorem.

Li Xu Heng Liang Fengshan Bai

Published in: Int. J. Comput. Math. (2009)

Keyphrases

interactive theorem proving
theorem prover
theorem proving
von neumann
mathematical proofs
data mining
artificial intelligence
sufficient conditions
linear logic
geometry theorem proving