Formalising Sharkovsky's Theorem (Proof Pearl).

Published in: CPP (2023)

Keyphrases

interactive theorem proving
theorem prover
linear logic
data sets
proof search
real world
data mining
image processing
web services
artificial neural networks
evolutionary algorithm
theorem proving
von neumann
digital topology
mathematical proofs