2 search results - page 1 / 1 » MATHsAiD: A Mathematical Theorem Discovery Tool |
SYNASC
2006
IEEE
13 years 10 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
FLAIRS
2003
13 years 5 months ago
2003
Data mining is the process of extracting implicit, previously unknown, and potentially useful information from data in databases. It is widely recognized as a useful tool for deci...