A Proof of Morley's Conjecture.

Published in: J. Symb. Log. (1989)

Keyphrases

theorem proving
theorem prover
geometry theorem proving
proof planning
probabilistic model

imperative programs
image processing
data mining
cooperative
evolutionary algorithm

hidden markov models
real time
knowledge representation
image segmentation
multimedia

linear logic
provably correct
mathematical proofs
databases