Morley's theorem revisited: Origami construction and automated proof.

Tetsuo Ida Asem Kasem Fadoua Ghourabi Hidekazu Takahashi

Published in: J. Symb. Comput. (2011)

Keyphrases

interactive theorem proving
theorem prover
semi automated
automated theorem provers
artificial intelligence
computer aided
construction process
context sensitive
real time
three dimensional
digital libraries
computer assisted
automated analysis
von neumann
heavy traffic limit
mathematical proofs