25 search results - page 1 / 5 » Bridging Theorem Proving and Mathematical Knowledge Retrieva... |
BIRTHDAY
2005
Springer
13 years 6 months ago
2005
Springer
AI
2000
Springer
13 years 4 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
CADE
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
JUCS
2010
12 years 11 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
DIS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...