- Axiomatizing the existential theory of Fq((t)) Sylvy Anscombe Philip Dittmann Arno Fehm Mon 12 May 2025
- The existential theory of equicharacteristic henselian valued fields Sylvy Anscombe Arno Fehm Mon 12 May 2025
- On the existential theory of the completions of a global field Philip Dittmann Arno Fehm Mon 12 May 2025
- Decidability of the theory of addition and the Frobenius map in rings of rational functions Dimitra Chompitaki Manos Kamarianakis Thanases Pheidas Fri 17 May 2024
- Invariant varieties for polynomial dynamical systems Alice Medvedev Thomas Scanlon Wed 20 January 2021
- Algorithms yield upper bounds in differential algebra Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
Library Size: 13G (6 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
