15 citations · 42 across the 8 of their papers we have counts for
1 paper · 1 filter
Jeremy Avigad, Robert Y. Lewis, Cody Roux
We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem provin…