The category of noncommutative geometric spaces is a rather new and wide field in geometry that provides a rich source of hard computer applications. In this contribution we give a short summary ofâ€¦ (More)

Recent work investigates the combination of Computer Algebra Systems and Automated Theorem Provers We elaborate a concrete example the generic construction of complex numbers quaternions Cayleyâ€¦ (More)

We report on an extension of the SML implementation of the logic programming language Elf Pfe to support the check of convergence for higher order critical pairs Since Elf is based on the Edinburghâ€¦ (More)

We present a canonical system for comonads which can be extended to the notion of a computational comonad BG92] where the crucial point is to nd an appropriate representation. These canonical systemsâ€¦ (More)

This paper shows the expressive power of the functional programming language Standard ML (SML) in the context of computer algebra. It is focused on a special application of the p-adic liftingâ€¦ (More)

both sponsored b y P r oject MURST 40% \Calcolo Algebrico e Simbolico" ABSTRACT This paper shows the expressive p o wer of the f u nctional programming l a n guage Standard ML (SML) in the context ofâ€¦ (More)

We report on an extension of the SML implementation of the logic programming language Elf [Pfe94] to support the check of convergence for higher-order critical pairs. Since Elf is based on theâ€¦ (More)