26 citations · 115 across the 16 of their papers we have counts for
1 paper · 1 filter
Bojan D. Banjac, Milica D. Makragic, Branko J. Malesevic
In this article we consider mathematical fundamentals of one method for proving inequalities by computer, based on the Remez algorithm. Using the well-known results of undecidabili…