Skolem meets schanuel

DOI10.4230/LIPICS.MFCS.2022.20MaRDI QIDQ6584014FDOQ6584014

Authors: Yuri Bilu, Florian Luca, Joël Ouaknine, David Purser, James Worrell 

Publication date: 6 August 2024

zbMATH Keywords

Skolem problemSkolem conjecture\(p\)-adic schanuel conjectureexponential local-global principle

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (3)

• Skolem and positivity completeness of ergodic Markov chains
• Quantum temporal logic and reachability problems of matrix semigroups
• Model checking linear dynamical systems under floating-point rounding

This page was built for publication: Skolem meets schanuel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584014)