Polynomial Dynamics and a Proof of the Fermat Little Theorem.

Vladimir Dragovic

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

Keyphrases

interactive theorem proving
dynamical systems
dynamic model
genetic algorithm
theorem prover
databases
decision trees
control scheme
geometry theorem proving