A Short Proof of McDougall's Circle Theorem.

Marc Chamberland Doron Zeilberger

Published in: Am. Math. Mon. (2014)

Keyphrases

interactive theorem proving
proof planning
data sets
mobile robot
theorem proving
real time
reinforcement learning
digital libraries
evolutionary algorithm