L.S. Penrose's limit theorem: proof of some special cases.

Ines Lindner Moshé Machover

Published in: Math. Soc. Sci. (2004)

Keyphrases

special case
np hard
approximation algorithms
computational complexity
theorem prover
information systems
image processing
face recognition
theorem proving
proof planning
geometry theorem proving
multiscale
learning environment
markov networks
natural deduction