Joël Ouaknine
- On Searching for Small Kochen-Specker Vector Systems (extended version)
2011/11/14 by Felix Arends, Joël Ouaknine, Arends, Felix +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Physics and Astronomy · #FOS: Physical sciences #Gene Regulatory Network Analysis #Polynomial and algebraic computation #Quantum Physics (quant-ph) #Quantum chaos and dynamical systems
- On the p-adic zeros of the Tribonacci sequence
2022/10/30 by Yuri Bilu, Bilu, Yuri, Florian Luca +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, James Maynard, Luca, Florian +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, Florian Luca, Karimov, Toghrul +7 · 1 citation
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Model Checking Markov Chains as Distribution Transformers
2024/06/21 by Rajab Aghamov, Christel Baier, Aghamov, Rajab +11 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)
- Conjectural Decidability of the Skolem Problem
2026/07/16 by Florian Luca, Joël Ouaknine, James Worrell · 1 voice
#cs.DM #math.NT