TODO Michael Meyling

This chapter gives an overview of the project purpose and goals.

Reading mathematical text. User reads mathematical textbook. Check preconditions for applying. User checks preconditions to apply a theorem. Generation of HTML files. User generates HTML presentation. Formal verification of theorem. User checks if a theorem if formal correct. Search for mathematical phrase. User searches for mathematical phrase.

+++ A specification for each individual functional requirement.

\textbf{Hilbert~II} is no proof finder. proof finder

Although English is the the project language and many mathematicians can read English texts about their special subject \textbf{Hilbert~II} supports different text languages. \par The data of \textbf{Hilbert~II} can be completely presented in XML documents. The data access works with the common internet protocols \textbf{http} and \textbf{ftp}. This defines platform independency that enables different software implementations. The reference software is written in Java and should run on most operating systems. \par As time goes by \textbf{Hilbert~II} should expand. This includes the format of data presentations. The old format must be supported further on. describes the internal implementation of the program. It talks about data structures, choice of programming languages and tools, algorithms, etc. +++ Software interfaces \\ Development enviroment \\ Operating system \\ Application overview \\ \par \par Third party tools and libraries

+++