2 search results - page 1 / 1 » MATHsAiD: A Mathematical Theorem Discovery Tool |
SYNASC
2006
IEEE
14 years 4 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
14 years 7 days 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...