Computer-Assisted Proving and Discovery: Selected Examples from Combinatorics, Number Theory, and Special Functions

Activity: Talk or presentation › Invited talk › unknown

Period05 Aug 2010
Event title4th 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
Event typeConference
LocationGermanyShow on map

Fields of science

  • 101012 Combinatorics

JKU Focus areas

  • Computation in Informatics and Mathematics