Mechanical Modular Function Problem-Solving (Plenary Talk)
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
International Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization, Mai 12-17, 2019
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
The talk reports on recent progress concerning the mechanization and algorithmization of mathematical tools related to modular functions. Examples are a proof of the Weierstrass gap theorem without using the Riemann-Roch formula, or a new algorithmic framework for proving Ramanujan's celebrated congruences for partition numbers. Most of the results presented arose in joint work with Silviu Radu (RISC).
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung