Computer-Assisted Proving and Discovery: Selected Examples from Combinatorics, Number Theory, and Special Functions
Sprache des Vortragstitels:
Englisch
Original Tagungtitel:
4th International Symposium on "Multiagent Systems (MAS), Robotics and Cybernetics: Theory and Practice", Organization and Chair: Prof. Jochen Pfalzgraf, Dept. of Computer Sciences, Univ. of Salzburg
Sprache des Tagungstitel:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung