Computer Science – Digital Libraries
Scientific paper
2012-01-27
Computer Science
Digital Libraries
9 Pages, 1 figures, Submitted to IJCAR 2012
Scientific paper
We introduce T2Ku, an open source project that aims at building a semantic wiki of mathematics featuring automated reasoning(AR) techniques. We want to utilize AR techniques in a way that truly helps mathematical researchers solve problems in the real world, instead of building another ambitious yet useless system. By setting this as our objective, we exploit pragmatic design decisions that have proven feasible in other projects, while still employs a loosely coupled architecture to allow better inference programs to be integrated in the future. In this paper, we state the motivations and examine state-of-the-art systems, why we are not satisfied with those systems and how we are going to improve. We then describe our architecture and the way we implemented the system. We present examples showing how to use its facilities. T2Ku is an on-going project. We conclude this paper by summarizing the development progress and encouraging the reader to join the project.
No associations
LandOfFree
T2Ku: Building a Semantic Wiki of Mathematics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with T2Ku: Building a Semantic Wiki of Mathematics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and T2Ku: Building a Semantic Wiki of Mathematics will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-343908