Showing math.NTShow all
2 papers · 1 filter
math.NT2022
A Refinement of Pohst's Inequality
Gabriel Raposo
We generalize an inequality conjectured by Pohst in 1977 and recently proved by the author and independently by Battistoni and Molteni. This new inequality improves a bound for the…
math.NT2022
A Detailed Proof of Pohst's Inequality
Gabriel Raposo
In 1977 Pohst conjectured a certain inequality for variables and give a computer-assisted proof for . We give a proof for all using a combinatorial argument. This…