数学定理本体

MathFlow High-Level Concept A Wikipedia of math theorems where one can only link if certain parameters are followed. This allows useful variable binding and maintains a referential integrity. The overarching goal is to provide a means to harvest this interesting structure of math. Concept Overview The MathFlow Ontology Project will allow users to submit mathematical theorems. These user generated theorems and their proofs may contain references (links) to other user generated theorems. The advantage and difference this kind of reference will have over similar websites (such as wikis) is that links will be softly constrained by variable bindings. This will not only provide the major benefit of a referential integrity to the entire graph of these theorem nodes, but also have the secondary advantage of substituting a users preferred variable bindings in place of the author’s original variable binds. The MathFlow Ontology Projec