652 search results - page 4 / 131 » Mathematical knowledge management is needed |
AISC
2010
Springer
13 years 9 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
FTRTFT
1998
Springer
13 years 11 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
CBMS
2007
IEEE
14 years 1 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
As the need for advanced, interactive mathematical models has increased, user/programmers are increasingly choosing the MatLab
CIKM
1997
Springer
13 years 11 months ago
1997
Springer
CT This paper explores several methods for visualizing the thematic content of large document collections. As opposed to traditional query-driven document retrieval, these methods ...