Walnut theorem-prover yields automated induction-free proofs for properties of golden-ratio based number representations, recovering known results and yielding new ones.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2023 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Proving Properties of $\varphi$-Representations with the Walnut Theorem-Prover
Walnut theorem-prover yields automated induction-free proofs for properties of golden-ratio based number representations, recovering known results and yielding new ones.