A Noninductive Proof of de Moivre's Formula.

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

Keyphrases

artificial intelligence
neural network
machine learning
optimal solution
artificial neural networks
theorem proving
linear logic