Mechanization of mathematics: some examples for discussion
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
?None of my inventions came by accident. I see a worthwhile need to be met and I make trial after trial until it comes. What it boils down to is one percent inspiration and ninety-nine percent perspiration.? Owing to computers it increasingly has become possible to automate the perspiration phase in Edison?s statement. Recent AI developments stimulated renewed interest in the question of how far non-routine parts of mathematical work can be automated. In this talk we present concrete examples of non-trivial applications of RISC computer algebra algorithms in enumerative combinatorics, special functions, and number theory. Related aspects of mechanization of mathematics are left for discussion.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung
Vortragsdatum:
07.12.2021
Vortragsort:
Österreich
Details zum Vortragsort:
online aufgrund von COVID-19 (geplant in Rumänien)