Parameterwise Sharpness of Khovanskii's Bezout-type Bound for Pfaffian Functions

Terence Bickerton, Joseph Harrison, Olivia Hornakova +3

Khovanskii's theorem gives a Bezout-type upper bound for the number of isolated real solutions of a system of $n$ Pfaffian equations in $n$ variables in terms of three complexity p…