28 search results - page 2 / 6 » aisc 2008 |
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. McDermott [12,13] introduced the concept "Artificial Intelligence meets Natural Stupidity". In this paper, we explore how Artificial Intelligence and Symbolic C...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...