AG : Sergey Yurkevich (INRIA SPECFUN et Université de Vienne) : Educated and algorithmic guessing
Abstract : Experimental mathematics can be roughly described as a 3-step process: compute a high-order approximation of the solution, guess/conjecture a general pattern, prove the conjecture. The technique of guessing can be very fruitful when dealing, for example, with recurrent sequences