Login / Signup

Automatic sequences in negative bases and proofs of some conjectures of shevelev.

Jeffrey O. ShallitSonja Linghui ShanKai-Hsiang Yang
Published in: RAIRO Theor. Informatics Appl. (2023)
Keyphrases
  • theorem prover
  • positive and negative
  • semi automatic
  • spatio temporal
  • multiscale
  • theorem proving
  • data sets
  • e learning
  • bayesian networks
  • linear combination
  • sequential patterns
  • temporal sequences