Commit 74529462 authored by Michael Kohlhase's avatar Michael Kohlhase

more crossrefs

parent f4384b00
......@@ -38,7 +38,7 @@ their discussion areas.
* 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 (but also see the
* Serious Games for Maths (based on logic and theory graphs): #1 #3 #32 #33 #34 #35 (but also see the
[project issues](https://github.com/UFrameIT/UFrameIT/issues))
* The [MathHub System](http://mathhub.info): #15 #17 #18 #21 #28 (but also see the
project issues: [Frontend](https://github.com/MathHubInfo/Frontend/issues) [Backend](https://github.com/MathHubInfo/MathHub/issues))
......@@ -51,6 +51,7 @@ their discussion areas.
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 #14
* Corpus Linguistics for Mathematics: #2 #6 #14 #31
* UIs and Interaction with all of this: #8 #13
* Application of machine learning techniques to generating semantic data. #14
* Application of machine learning techniques to generating semantic data: #14
* Legal reasoning and argumentation: #23 #29 #30
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