activity
20062026
most citedDecidability of the Natural Numbers with the Almost-All Quantifier

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing math.CAShow all

1 paper · 1 filter

math.CA2022

On the equations of Poizat and Liénard

James Freitag, Rémi Jaoui, David Marker +1

We study the structure of the solution sets in universal differential fields of certain differential equations of order two, the Poizat equations, which are particular cases of Lié…