Sergey Dmitriev's Weblog



Subscribe to "Sergey Dmitriev's Weblog" in Radio UserLand.

Click to see the XML version of this web page.

Click here to send an email to the editor of this weblog.


27 June 2003
 

Mathematical knowledgebase (continuation)

One feature for such knowledgebase could be very useful: One can formulate some statement or hypothesis and the system should find if this statement has already been proven (and point to the proof then). Even if it there isn't any proof of this statement in the knowledgebase it could still try to find all proven theorems with stronger conditions or weaker conclusions. Such system should also have the information if somebody else had tried to prove this theorem and, even if he failed, how much effort did he devoted to the problem.
On the other side, even if a proof was found, it could try to find more general variants of the theorem (with weaker conditions or stronger conclusions).


7:32:05 PM    comment []


Click here to visit the Radio UserLand website. © Copyright 2003 Sergey Dmitriev.
Last update: 30/06/2003; 4:56:09 PM.
June 2003
Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
Mar   Jul