Login / Signup
A Proof of Morley's Conjecture.
Bradd Hart
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