Tristram C. Bogart

activity

20052026

most citedComputing Tropical Varieties

160 citations · 199 across the 25 of their papers we have counts for

collaborators

Showing 2018Show all

2 papers · 1 filter

math.NT2018★ 1 cited

An $ℓ - p$ switch trick to obtain a new elementary proof of a criterion for arithmetic equivalence

Tristram Bogart, Guillermo Mantilla-Soler

Two number fields are called arithmetically equivalent if they have the same Dedekind zeta function. In the 1970's Perlis showed that this is equivalent to the condition that for a…

math.LO2018

Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

Tristram Bogart, John Goodrick, Danny Nguyen +1

We consider an expansion of Presburger arithmetic which allows multiplication by $k$ parameters $t_{1}, \dots, t_{k}$ . A formula in this language defines a parametric set $S_\mathbf{t}…

An ℓ−p switch trick to obtain a new elementary proof of a criterion for arithmetic equivalence

Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination

An $ℓ - p$ switch trick to obtain a new elementary proof of a criterion for arithmetic equivalence