Login / Signup
An Elementary Proof of Marden's Theorem.
Dan Kalman
Published in:
Am. Math. Mon. (2008)
Keyphrases
</>
interactive theorem proving
linear logic
proof planning
theorem proving
intuitionistic logic
information technology
theorem prover
data sets
set theory
automated theorem proving
school children
mathematical proofs