Mechanical Modular Function Problem-Solving (Plenary Talk)

Activity: Talk or presentation › Invited talk › science-to-science

Description

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).
Period13 May 2019
Event titleInternational Symposium on Wen-Tsun Wu's Academic Thought and Mathematics Mechanization, Mai 12-17, 2019
Event typeConference
LocationChinaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Digital Transformation

Documents & Links