James Worrell
- Complexity of Equivalence and Learning for Multiplicity Tree Automata
2014/05/02 by Ines Marušić, James Worrell, Marusic, Ines +1 · 3 citations
Computer Science · #Machine Learning and Algorithms #Complexity and Algorithms in Graphs #semigroups and automata theory
- Markov Chains and Unambiguous Automata
2016/05/03 by Christel Baier, Stefan Kiefer, Baier, Christel +7 · 2 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Network Packet Processing and Optimization
- On the p-adic zeros of the Tribonacci sequence
2022/10/30 by Yuri Bilu, Florian Luca, Bilu, Yuri +7 · 1 citation
Mathematics · Physics and Astronomy · #Advanced Mathematical Identities #Advanced Mathematical Theories and Applications #FOS: Mathematics #Number Theory (math.NT) #advanced mathematical theories
- Skolem Meets Bateman-Horn
2023/08/02 by Florian Luca, Luca, Florian, James Maynard +7 · 1 citation
Computer Science · Mathematics · #Advanced Combinatorial Mathematics #Discrete Mathematics (cs.DM) #F.3.0 #FOS: Computer and information sciences #FOS: Mathematics #G.2.0 #I.1.2 #Number Theory (math.NT) #Polynomial and algebraic computation #semigroups and automata theory
- On the Decidability of Presburger Arithmetic Expanded with Powers
2024/07/06 by Toghrul Karimov, Karimov, Toghrul, Florian Luca +7 · 1 citation
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A parametric version of the Hilbert Nullstellensatz
2024/08/23 by Rida Ait El Manssour, Nikhil Balaji, Manssour, Rida Ait El +7 · 1 citation
Computer Science · #Matrix Theory and Algorithms
- On Rational Recursion for Holonomic Sequences
2024/04/29 by Bertrand Teguia Tabuguia, James Worrell, Tabuguia, Bertrand Teguia +1 · 1 citation
Mathematics · #03C60 (Secondary) #12H10 (Primary) #13-04 #68W30 #Advanced Differential Equations and Dynamical Systems #Commutative Algebra (math.AC) #Dynamical Systems (math.DS) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #I.1.2 #Symbolic Computation (cs.SC)
- Conjectural Decidability of the Skolem Problem
2026/07/16 by Florian Luca, Joël Ouaknine, James Worrell · 1 voice
#cs.DM #math.NT