## Session 20. Software for Mathematical Reasoning and Applications (Web Page)

### Organizers

- Bruno Buchberger (Johannes Kepler University, Linz, Austria)
- Tudor Jebelean (Johannes Kepler University, Linz, Austria)
- Alexander Maletzky (Johannes Kepler University, Linz, Austria)
- Temur Kutsia (Johannes Kepler University, Linz, Austria)
- Wolfgang Windsteiger (Johannes Kepler University, Linz, Austria)

### Aim and Scope

In addition to traditional software for numerics and symbolics (in
algebra, analysis, combinatorics, etc.), more and more software for
automated reasoning based on sophisticated general and special
reasoning techniques with nice user interfaces enriches the
possibilities of working mathematicians, computer scientists and
engineers.

#### Topics

- new versions of automated reasoning software
- user interfaces for automated reasoning software
- new implementations of general and special reasoning techniques
- interaction of automated reasoning software with numerical and algebraic software
- applications of automated reasoning in mathematics, computer science, natural sciences, engineering, education,
- the use of automated reasoning in the build-up of formal mathematical knowledge bases
- and related subjects.