The unreasonable effectiveness of computer algebra in the mathematical sciences

Beschreibung

Despite the current renaissance of AI, the main theme of the talk is on more traditional lines: namely, to stress the huge potential of algorithmic mathematics, and of respective computer algebra software, for applications in pure mathematics and related fields For example, The Ramanujan Machine (Nature 580, 2021) creates mathematical conjectures using AI and computer automation. On the other hand, Cristian-Silviu Radu (RISC) developed a computer algebra algorithm which can be used to discover (and prove!) identities, which even Ramanujan would have appreciated to see. In the talk we discuss a variety of such examples from different areas: optimization of antenna radiation, special functions and Gauss' contiguous relations, linear Diophantine inequalities and partitions of numbers, symbolic summation in quantum field theory, a.s.o.

Zeitraum	13 März 2023
Ereignistitel	Workshop "Research Data in Discrete Mathematics"
Veranstaltungstyp	Konferenz
Ort	DeutschlandAuf Karte anzeigen