diff --git a/README.md b/README.md index 2b2ef3b1ba24de0aa803a2f6f5e2bfedf1eedd96..f5b6763fffae90213961e8546b6960ac67937f02 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Topics for Theses in the [KWARC](http://kwarc.info) Group +# Topics for Projects and Theses in the [KWARC](http://kwarc.info) Group ## Contact [Prof. Michael Kohlhase](http://kwarc.info/kohlhase) @@ -31,10 +31,10 @@ below, in particular, you should contact the Principal Investigator of KWARC: Topcis are available in the following larger areas, individual topics will be encoded as [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be discussed in their -* Representation of mathematical knowledge via Theory Graphs: #2 -* Serious Games for Maths (based on logic and theory graphs): #1 +* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 +* Serious Games for Maths (based on logic and theory graphs): #1 #3 * Semantics-Extraction from technical/mathematical documents (and the use of this in - [mathematical search engines](http//search.mathweb.org)) + [mathematical search engines](http//search.mathweb.org)); #2 * [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the [MathHub System](http://mathhub.info)). * Active Dokuments and the integration of semantic services into technical/mathematical