17 citations · 83 across the 33 of their papers we have counts for
12 papers · 1 filter
Likely intersections
Sebastian Eterović, Thomas Scanlon
We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional condition…
Effective transcendental Zilber-Pink for variations of Hodge structures
Jonathan Pila, Thomas Scanlon
We prove function field versions of the Zilber-Pink conjectures for varieties supporting a variation of Hodge structures. A form of these results for Shimura varieties in the conte…
Multi-experiment parameter identifiability of ODEs and model theory
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin +1
Structural identifiability is a property of an ODE model with parameters that allows for the parameters to be determined from continuous noise-free data. This is a natural prerequi…
Solving difference equations in sequences: Universality and Undecidability
Gleb Pogudin, Thomas Scanlon, Michael Wibmer
We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the mon…
Effective difference elimination and Nullstellensatz
Alexey Ovchinnikov, Gleb Pogudin, Thomas Scanlon
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities asso…
Differential Chow varieties exist
James Freitag, Wei Li, Thomas Scanlon
Chow varieties are a parameter space for cycles of a given variety of a given codimension and degree. We construct their analog for differential algebraic varieties with differenti…