Na razie tylko jedna propozycja, później pojawią się następne.

Zgadywanie wyrazów ciągów, teoria i zastosowania

Zarówno w matematyce jak i w różnych zastosowaniach dość często pojawiają się ciagi takie że potrafimy obliczyć kilkanaście lub kilkadziesiąt pierwszych wyrazów, ale nie znamy wzoru. Obecnie istnieją programy komputerowe które dla niektórych (stosunkowo ważnych) postaci wzorów potrafią wyznaczyć możliwy wzór gdy są jest dany pewien początkowy podciąg. Ponadto, przynajmniej w niektórych sytuacjach relatywnie łatwo można udowodnić że odgadnięty wzór jest poprawny. Celem pracy byłoby omówienie podstaw teoretycznych i zaprezenowanie na przykładach jak taki program pomaga w rozwiązaniu problemów matematycznych.