Formalization of Elementary Parts of Mathematics

Formalization of Elementary Parts of Mathematics (Advisor: Wolfgang Windsteiger). Prerequisites: Interest in working in computer-supported mathematics, basic understanding of logic. Working area: 100% mathematics, 0% informatics.

Prerequisites: Interest in working in computer-supported mathematics, basic understanding of logic.

Working area: 100% mathematics, 0% informatics.