Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Conferences on Intelligent Computer Mathematics, CICM 2013 (Veranstaltung)
- Mark Adams (Mitglied)
- Akiko Aizawa (Mitglied)
- Jesse Alama (Mitglied)
- Rob Arthan (Mitglied)
- A. Asperti (Mitglied)
- David Aspinall (Mitglied)
- Jeremy Avigad (Mitglied)
- Thierry Bouche (Mitglied)
- Jacques Carette (Mitglied)
- John Carnley (Mitglied)
- Janka Chlebíková (Mitglied)
- Simon Colton (Mitglied)
- Leo Freitas (Mitglied)
- Deyan Ginev (Mitglied)
- Gudmund Grov (Mitglied)
- Thomas Hales (Mitglied)
- Yannis Haralambous (Mitglied)
- Jónathan Heras (Mitglied)
- Hoon Hong (Mitglied)
- Predrag Janicic (Mitglied)
- Cezary Kaliszyk (Mitglied)
- Manfred Kerber (Mitglied)
- Adam Kilgarriff (Mitglied)
- Andrea Kohlhase (Mitglied)
- Michael Kohlhase (Mitglied)
- Kutsia, T. (Mitglied)
- Christoph Lange (Mitglied)
- Paul Libbrecht (Mitglied)
- Christoph Lüth (Mitglied)
- Till Mossakowski (Mitglied)
- Magnus O. Myreen (Mitglied)
- Florian Rabe (Mitglied)
- Jiri Rakosnik (Mitglied)
- David Ruddy (Mitglied)
- Carsten Schürmann (Mitglied)
- Petr Sojka (Mitglied)
- Volker Sorge (Mitglied)
- Hendrik Tews (Mitglied)
- Frank Tompa (Mitglied)
- Josef Urban (Mitglied)
- Stephen M. Watt (Mitglied)
- Makarius Wenzel (Mitglied)
- Windsteiger, W. (Mitglied)
- Richard Zanibbi (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee