For now, we measure coverage on our test collection of scholarly papers from our university's journal, and it is sufficient only for it. However, there are conc

For now, we measure coverage on our test collection of scholarly papers from our university's journal, and it is sufficient only for it. However, there are concepts from the following fields of mathematics: geometry (pretty advanced, believe me), analysis, number theory, set theory, algebra, logics, discrete mathematics, differential equations, numerical analysis, theory of computation, probability theory and statistics.