## Project Members

### Johannes Kepler University Linz:

#### Thomas Vetterlein

Department of Knowledge-Based Mathematical Systems,

Johannes Kepler University Linz

#### Guillermo Badia

Department of Knowledge-Based Mathematical Systems,

Johannes Kepler University Linz

#### Jiří Janda

Department of Knowledge-Based Mathematical Systems,

Johannes Kepler University Linz

### Vienna University of Technology:

#### Gerhard Dorfer

Institute of Discrete Mathematics and Geometry,

Vienna University of Technology

#### Günther Eigenthaler

Institute of Discrete Mathematics and Geometry,

Vienna University of Technology

#### Helmut Länger

Institute of Discrete Mathematics and Geometry,

Vienna University of Technology

### Palacký University:

#### Jan Kühr

Department of Algebra and Geometry,

Palacky University

#### Ivan Chajda

Department of Algebra and Geometry,

Palacky University

#### Radomír Halaš

Department of Algebra and Geometry,

Palacky University

#### Michal Botur

Department of Algebra and Geometry,

Palacky University

### Masaryk University:

#### Jan Paseka

Department of Mathematics and Statistics,

Masaryk University

#### David Kruml

Department of Mathematics and Statistics,

Masaryk University

#### Radek Šlesinger

Department of Mathematics and Statistics,

Masaryk University

### Brno University of Technology:

#### Sergejs Solovjovs

Department of Algebra and Discrete Mathematics,

Brno University of Technology