Commit 45394590 authored by Michael Kohlhase's avatar Michael Kohlhase

tweaks

parent cca5710a
Pipeline #2016 passed with stage
in 2 minutes and 26 seconds
...@@ -12,7 +12,7 @@ We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm) ...@@ -12,7 +12,7 @@ We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm)
We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents. We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents.
This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents. This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
#### Research Domain/Strategy: Corpus-based Meta-Mathematics ##### Approach: Corpus-based Meta-Mathematics
In this title we have three components that warrant explanation: In this title we have three components that warrant explanation:
1. **Mathematics**: we use the mathematical knowledge and mathematical documents as a test 1. **Mathematics**: we use the mathematical knowledge and mathematical documents as a test
tube for our research as the knowledge and document structures are quite explicit and tube for our research as the knowledge and document structures are quite explicit and
...@@ -26,7 +26,7 @@ In this title we have three components that warrant explanation: ...@@ -26,7 +26,7 @@ In this title we have three components that warrant explanation:
3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of 3. **Corpus-based**: we do this as a natural science by looking at data (i.e. corpora of
documents and formalizations)> documents and formalizations)>
## Research Approach ##### KWARC Process
We approach Corpus-Based Meta-Mathematics (iteratively) in three steps: We approach Corpus-Based Meta-Mathematics (iteratively) in three steps:
1. **Analysis**: we analyze the corpora for patterns and structures. 1. **Analysis**: we analyze the corpora for patterns and structures.
2. **Synthesis**: we design and build meta-artefacts (languages, algorithms, and systems) 2. **Synthesis**: we design and build meta-artefacts (languages, algorithms, and systems)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment