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
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
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. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
AISC
2008
Springer
13 years 6 months ago
2008
Springer
AISC
2008
Springer
13 years 6 months ago
2008
Springer
AISC
2008
Springer
13 years 6 months ago
2008
Springer
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...