Login / Signup
Yet Another Analytic Proof of Napoleon's Theorem.
J. A. Grzesik
Published in:
Am. Math. Mon. (2016)
Keyphrases
</>
interactive theorem proving
image segmentation
theorem prover
theorem proving
neural network
artificial intelligence
computer vision
case study
data structure
evolutionary algorithm
linear logic
logical rules