Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev.

Jeffrey O. Shallit Sonja Linghui Shan Kai-Hsiang Yang

Published in: CoRR (2022)

Keyphrases

theorem prover
fully automatic
hidden markov models
positive and negative
theorem proving
machine learning
natural deduction
database
data sets
information systems
pairwise
semi automatic
basis functions
inductive inference