The Flaw in Euler's Proof of His Polyhedral Formula.

Christopher Francese David Richeson

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

Keyphrases

convex hull
linear logic
theorem prover
differential equations
theorem proving
data sets
automated theorem proving
proof search
artificial intelligence
search engine
search algorithm
first order logic
convex sets