Login / Signup
A New Geometric Proof for Morley's Theorem.
Mehmet Kiliç
Published in:
Am. Math. Mon. (2015)
Keyphrases
</>
interactive theorem proving
geometry theorem proving
theorem proving
high order
real world
theorem prover
geometric structure
information retrieval
artificial intelligence
multiscale
object recognition
computational geometry
automated theorem proving
automated theorem provers