Project Members
Johannes Kepler University Linz:
Thomas Vetterlein
Department of Knowledge-Based Mathematical Systems
Günter Landsmann
Research Institute for Symbolic Computation
Vienna University of Technology:
Karl Svozil
Institute for Theoretical Physics
Helmut Länger
Institute of Discrete Mathematics and Geometry
Palacký University Olomouc:
Jan Kühr
Department of Algebra and Geometry
Ivan Chajda
Department of Algebra and Geometry
Masaryk University Brno:
Jan Paseka
Department of Mathematics and Statistics
David Kruml
Department of Mathematics and Statistics
Czech Technical University in Prague:
Mirko Navara
Department of Cybernetics,
Center for Machine Perception
Pavel Pták
Department of Mathematics
Miroslav Korbelář
Department of Mathematics