A Proof of Sondow's Conjecture on the Smarandache Function.

Xiumei Li Min Sha

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

Keyphrases

database
piecewise linear
machine learning
search engine
multi agent
wide range
cooperative
preprocessing
multiresolution
theorem prover
theorem proving