Sciweavers

ISSAC
2001
Springer
141views Mathematics» more  ISSAC 2001»
13 years 9 months ago
On the Barnes function
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
Victor Adamchik
HERCMA
2001
141views Mathematics» more  HERCMA 2001»
13 years 6 months ago
Towards an ISO-9000 compliant certification service provider
In this paper we present a complete reference framework for the operation of Certification Service Provider as an organisation. The objective is to form an intermediate reference m...
Dimitrios Lekkas, Stefanos Gritzalis, Sokratis K. ...
ISSAC
2001
Springer
133views Mathematics» more  ISSAC 2001»
13 years 9 months ago
Irreducible trinomials over finite fields
A necessary condition for irreducibility of a trinomial over a finite field, based on classical results of Stickelberger and Swan, is established. It is applied in the special ca...
Joachim von zur Gathen
ISSAC
2001
Springer
129views Mathematics» more  ISSAC 2001»
13 years 9 months ago
Computation of the degree of rational maps between curves
The degree of a rational map measures how often the map covers the image variety. In particular, when the rational map is a parametrization, the degree measures how often the para...
J. Rafael Sendra, Franz Winkler
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
13 years 9 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
Mathematics
Top of PageReset Settings