Commit 5107b52d authored by jfschaefer's avatar jfschaefer


parent 45394590
Pipeline #2017 passed with stage
in 2 minutes and 25 seconds
......@@ -24,7 +24,7 @@ In this title we have three components that warrant explanation:
* invent **algorithms** that analyze and transform these representations, and
* implement them in **end-user systems** that utilize both.
3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of
documents and formalizations)>
documents and formalizations).
##### KWARC Process
We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment