… Flexiformal systems use informal and formal language as alternatives, ie, content may be
written informally or formally. Thus, not all mathematical content is formalized, and all tool …

… possibly the most complete framework for flexiformal mathematics. It subsumes all the …
theory graphs: A directed graph whose nodes are axiomatic theories and whose edges are theory …

… , simple type theory, set theory, and dependent type theory; and flexiformal foundations that
support … MK is organized as a directed graph whose nodes are axiomatic theories and whose …

… Idea: Fully Utilizing the Flexiformal Theory Graph In this paper we … theory graphs that
underlie the semantic annotations, which in turn drive ALeA services. Theory graphs – theories …

… It declares a new symbol “Pythagorean Theorem ”, and provides it with a (flexiformal) …
Note that as a consequence, we obtain two knowledge graphs: The theory graph of symbols …

… theory narrative presents a mathematical topic as the development of a theory, while a
theory graph … and formal proofs (what Michael Kohlhase calls flexiformal mathematics [76]). …

… Therefore, we have developed special viewers that operate at the high level of the theory
graphs (which are still huge graphs with up to thousands of node in our case): a browser-…

… We evaluate our model using a … (using transformer language models) that allows us to
achieve positive results on our dataset. We previously evaluated several baseline NMT models (…

… for formal mathematics are already enabled by semiformal (or flexiformal) representations, …
bridging the gap between informal mathematical practice and (semi-)formal mathematics. …

… are already enabled by semi-formal (or flexiformal) representations, such as semantic annotations
in … “Mathematical models as research data via flexiformal theory graphs”. In: Intelligent …