Skolem meets schanuel

DOI10.4230/LIPICS.MFCS.2022.20MaRDI QIDQ6584014

Florian Luca, David Purser, Joël Ouaknine, Yuri Bilu, James Worrell, Author name not available (Why is that?)

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)

Related Items (3)

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

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)