Software for Mathematical Theory Exploration
August 5 (Tue) - 9 (Sat), 2014, Hanyang University, Seoul, Korea
- Organizer:
- Bruno Buchberger, (www)
- Co-Organizer:
- Wolfgang Windsteiger, (www)
Research Institute for Symbolic Computation
Johannes Kepler University
Linz / Schloss Hagenberg, Austria