From 68e1bfcc393e4a45092d5917fd127445b1997b4a Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Sat, 21 Mar 2020 11:31:40 +0100 Subject: [PATCH] more cross-references --- README.md | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index ac9afb0..9d647ff 100644 --- a/README.md +++ b/README.md @@ -36,15 +36,15 @@ Topcis are available in the following larger areas, individual topics will be en [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be clarified in their discussion areas. -* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 -* Representation of logical systems and their trnaslations via Theory Graphs: #5 #8 +* Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 #11 #12 #16 #20 #22 #24 +* Representation of logical systems and their translations via Theory Graphs: #5 #8 * 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)); #2 #6 -* [Integration of theorem prover libraries](http://kwarc.info/projects/OAF) (in the - [MathHub System](http://mathhub.info)). #7 +* The [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28 +* Semantics-Extraction from technical/mathematical documents: #2 #6 +* [Mathematical search engines](http//search.mathweb.org): #26 #27 +* [Integration of theorem prover libraries](http://kwarc.info/projects/OAF): #7 * Active Dokuments and the integration of semantic services into legal/technical/mathematical - documents (e.g. for course materials): #9 #23 + documents (e.g. for course materials): #9 #10 #23 * Interoperability and integration of mathematical software systems - e.g. computer algebra, math data bases, theorem provers (in the [OpenDreamKit](http://opendreamkit.org) EU project) #7 -- GitLab