Dun Ma | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Christian Schulz
62 publications
Jeffrey Shallit
53 publications
Luke Schaeffer
8 publications
Philipp Hieronymi
6 publications
Reed Oei
4 publications

research

∙ 02/16/2021

Decidability for Sturmian words

We show that the first-order theory of Sturmian words over Presburger ar...

0 Philipp Hieronymi, et al. ∙

research

∙ 02/02/2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata

Pecan is an automated theorem prover for reasoning about properties of S...

0 Reed Oei, et al. ∙