The unreasonable effectiveness of computer algebra in the mathematical sciences
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
Workshop "Research Data in Discrete Mathematics"
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung
Forschungs-