Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Computation in Informatics and Mathematics
Conferences on Intelligent Computer Mathematics, CICM 2013 (Event)
- Mark Adams (Member)
- Akiko Aizawa (Member)
- Jesse Alama (Member)
- Rob Arthan (Member)
- A. Asperti (Member)
- David Aspinall (Member)
- Jeremy Avigad (Member)
- Thierry Bouche (Member)
- Jacques Carette (Member)
- John Carnley (Member)
- Janka Chlebíková (Member)
- Simon Colton (Member)
- Leo Freitas (Member)
- Deyan Ginev (Member)
- Gudmund Grov (Member)
- Thomas Hales (Member)
- Yannis Haralambous (Member)
- Jónathan Heras (Member)
- Hoon Hong (Member)
- Predrag Janicic (Member)
- Cezary Kaliszyk (Member)
- Manfred Kerber (Member)
- Adam Kilgarriff (Member)
- Andrea Kohlhase (Member)
- Michael Kohlhase (Member)
- Kutsia, T. (Member)
- Christoph Lange (Member)
- Paul Libbrecht (Member)
- Christoph Lüth (Member)
- Till Mossakowski (Member)
- Magnus O. Myreen (Member)
- Florian Rabe (Member)
- Jiri Rakosnik (Member)
- David Ruddy (Member)
- Carsten Schürmann (Member)
- Petr Sojka (Member)
- Volker Sorge (Member)
- Hendrik Tews (Member)
- Frank Tompa (Member)
- Josef Urban (Member)
- Stephen M. Watt (Member)
- Makarius Wenzel (Member)
- Windsteiger, W. (Member)
- Richard Zanibbi (Member)
Activity: Membership/Function › Program committee