5510 search results - page 167 / 1102 » Mathematics |
138
Voted
ISIPTA
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we try to clarify the notion of independence for imprecise probabilities. Our main point is that there are several possible definitions of independence which are app...
146
Voted
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
117
click to vote
MPC
1998
Springer
15 years 8 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
136
click to vote
EPIA
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
ISSAC
1997
Springer
15 years 8 months ago
1997
Springer
A class of de nite integrals involving cyclotomicpolynomials and nested logarithms is considered. The results are given in terms of derivatives of the Hurwitz Zeta function. Some s...