178
Voted
ISSAC
15 years 10 months 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...
204
click to vote
HERCMA
15 years 7 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...
146
click to vote
ISSAC
15 years 10 months 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...
142
click to vote
ISSAC
15 years 10 months 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...
178
click to vote
PAPM
15 years 10 months 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