Computer Algebra for Special Function Inequalities

Description

Computer algebra has, in the past few decades, grown to a valuable tool for answering questions about special functions. We are now in a position that many different kinds of identities can be proven and even discovered automatically, with little to no human assistance. In contrast to identities, inequalities for special functions have long been considered inaccessible to symbolic computation. But they are not. In the talk we will present a recent computer procedure that facilitates the work with special function inequalities. This procedure might fail to arrive at a decision (true or false) for a particular inequality at hand, returning the answer "I-don't-know". In this situation, the human may assist the computer by appropriately reformulating the inequality. Which reformulations are appropriate for the proving procedure is, however, not at all clear a priori and has to be investigated via experimenting. We will show some examples of nontrivial inequalities which we were able to prove in this way.

Period	05 Jan 2007
Event title	Invited talk at National Meeting of the AMS / Special Session on Experimental Mathematics
Event type	Conference
Location	United StatesShow on map