Skolem meets schanuel

DOI10.4230/LIPICS.MFCS.2022.20MaRDI QIDQ6584014zbMATH OpenFDO

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)