224
click to vote
ISSAC
16 years 10 days ago
2001 Springer 
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...
252
click to vote
HERCMA
15 years 9 months ago
2001 
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...
190
click to vote
ISSAC
16 years 10 days ago
2001 Springer 
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...
185
click to vote
ISSAC
16 years 10 days ago
2001 Springer
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...
235
click to vote
PAPM
16 years 9 days ago
2001 Springer
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 (...
|
Mathematics