## Open Topics

Prerequisites: basic knowledge of the Mathematica programming language and LaTeX, interest in writing/formating mathematical documents, working in a bigger team, and structured software development.

Working area: 50% mathematics, 50% informatics.

### Theorema Project: Design and Implementation of a Test Environment

Master Thesis

Advisor: Wolfgang Windsteiger

Prerequisites: basic knowledge of the Mathematica programming language, working in a bigger team, and structured software development.

Working area: 10% mathematics, 90% informatics.

## Theses in Progress

### Radu’s Ramanujan-Kolberg Algorithm in Mathematica

Master Thesis

Advisor: Peter Paule

Investigator: Bernhard Kepplinger

### Implementation of symbolic geometric method for rational solutions of AODEs

Master Thesis

Advisor: Franz Winkler

Investigator: Fabrizio Zucca

### Formal Design Method For Reasoning about Algorithms and Representing Efficient Programs

PhD Thesis

Advisor: Tudor Jebelean

Investigator: Jakob Praher

### Difference Ring Algorithms for Nested Products

PhD Thesis

Advisor: Carsten Schneider

Investigator: Evans Doe Ocansey