Proof of a conjecture of Krawchuk and Rampersad.

Jeffrey O. Shallit

Published in: CoRR (2023)

Keyphrases

theorem prover
mathematical proofs
theorem proving
natural deduction
complete axiomatization
real time
data mining
genetic algorithm
image segmentation
objective function
data structure
preprocessing
proof search