diff --git a/README.md b/README.md index 7357d69c4c2ab646fa6d42c0527d5e0faaf3209e..f2df0e96b2cf11043435c89b7b7bd1d4d1f2d77e 100644 --- a/README.md +++ b/README.md @@ -38,11 +38,11 @@ their discussion areas. * 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)). + [MathHub System](http://mathhub.info)). #7 * Active Dokuments and the integration of semantic services into technical/mathematical documents (e.g. for course materials) * Interoperability and integration of mathematical software systems - e.g. computer algebra, math data bases, theorem provers (in the - [OpenDreamKit](http://opendreamkit.org) EU project) + [OpenDreamKit](http://opendreamkit.org) EU project) #7 * Cognitive engineering (semantische information/help systems for CAD/CAM systems). -* Corpus Linguistics for Mathematics: +* Corpus Linguistics for Mathematics: #2 #6