This morning, I saw the announcement of a paper on the ArXiv, titled Inequalities for Integer and Fractional Parts. I found the results very pretty, even though many of them are rather weird. But then it struck me: this ought to be useful. In fact, it ought to be useful when doing experimental mathematics, something for which Maple is rather helpful. So why the blog post? Because of the next realization: I don't really know how I would 'integrate' this knowledge into Maple. Whatever ideas I come up with to do this seem less than half-baked. So I decided to see if the collective wisdom here could be applied to come up with this "how".

Please Wait...