Blogging again (Mathematical knowledgebase) Hi all, I have started blogging again. This time, I hope, it will be more successful. Blogs serve for self-expressing and sharing ideas and interesting information. I'm not sure that all information about me is very interesting but at least it is some kind of self-expression.
Actually it was always very difficult for me to write any texts (except probably Java programs). But the only way to learn things is to do them.
Today is my first day after returning back to Prague from my US trip. Strange, I don't feel any jetlag, this is the first time after last 8 over-ocean flights. During this trip I visited San Francisco (JavaOne) and Boston. I've started a new branch of JetBrains in Boston area, and we already have one programmer there - Dmitry Skavish (He is the author of JGenerator - http://www.jzox.com )
Mathematical knowledgebase
I always was dreaming about thing like that. Contemporary mathematics is a huge area of knowledge, it takes years to come to the modern research edge even in one particular field. And the only way to do it now is reading books and articles. Unfortunately the way, how information is presented in such printed forms, is absolutely inconvenient for getting overall picture. Text is linear thing, but mathematics itself - is absolutely not. When learning some new math notion I always want to know immediately, where this notion is used, what are particular examples of such notion, why it was introduced and so on. Usually math monographs and articles don't answer these questions (only good one clarify part of it). Or - they answer, but in hundreds of pages forehand. Mathematical knowledge is actually some graph, so it should be represented as a graph.
I've found some resources on internet, devoted to this problem:
Wolfram ScienceWorld Mathematical notions and facts are represented here as ordinary web pages with hyperlinks. It covers only a very small part of Math knowledge.
QED Project - It has very similar goals, as I explained here, but unfortunately it is just a proclamation and nothing has been changed there since 1996
MIZAR Project - Very interesting project. They have invented some language, that allows introducing notions and describing proofs absolutely formally and at the same time this text is human-readable. They have very large knowledgebase, covering good part of Mathematics. It has also program that verifies proofs. Unfortunately there is no UI application for browsing/editing this knowledgebase.
The project was started in 1973!
The MBASE Mathematical KnowledgeBase - The web based mathematical knowledgebase, I will look closer at it.
HELM - An Hypertextual Electronic Library of Mathematics
Publications on Representation of Mathematical Knowledge
10:42:12 PM 
|
