From a80cb50519330bb8a7568097df932300a81b9df8 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Thu, 2 Feb 2017 08:44:45 +0100 Subject: [PATCH] more --- README.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8837962..9fb3288 100644 --- a/README.md +++ b/README.md @@ -37,16 +37,17 @@ Topcis are available in the following larger areas, individual topics will be en their discussion areas. * Representation of mathematical knowledge via Theory Graphs: #2 #3 #4 -* Representation of logical systems and their trnaslations via Theory Graphs: #5 +* Representation of logical systems and their trnaslations 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 * Active Dokuments and the integration of semantic services into technical/mathematical - documents (e.g. for course materials) + documents (e.g. for course materials): #9 * 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 * Cognitive engineering (semantische information/help systems for CAD/CAM systems). * Corpus Linguistics for Mathematics: #2 #6 +* UIs and Interaction with all of this: #8 -- GitLab