The unreasonable effectiveness of computer algebra in the mathematical sciences

Description

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.

Period	13 Mar 2023
Event title	Workshop "Research Data in Discrete Mathematics"
Event type	Conference
Location	GermanyShow on map