This article presents a multiple-precision binary floating-point library, written in the ISO C
language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision, …

… 6 , and Paul Zimmermann … We gratefully acknowledge sieving contributions by BSI,
Scott Contini (using resources provided by AC3, the Australian Centre for Advanced …

… Brent and Zimmermann present algorithms that are ready to implement in your favourite
language, while keeping a high-level description and avoiding too low-level or machine-…

A systematic approach to the random generation of labelled combinatorial objects is
presented. It applies to structures that are decomposable, ie, formally specifiable by grammars …

This book was written for those who want to efficiently use a computer algebra system, and
Sage in particular. Symbolic computation systems offer plenty of functionality, and finding the …

The recursive method formalized by Nijenhuis and Wilf (1998) and systematized by Flajolet,
Van Cutsem and Zimmermann (1994), is extended here to floating-point arithmetic. The …

We investigate the security of Diffie-Hellman key exchange as used in popular Internet protocols
and find it to be less secure than widely believed. First, we present Logjam, a novel flaw …

We describe the GFUN package which contains functions for manipulating sequences, linear
recurrences, or differential equations and generating functions of various types. This article …

1. The hypothesis that inward rectifier K(+) channels are involved in the vasodilatation of
small coronary and cerebral arteries (100‐200 microm diameter) in response to elevated [K+]o …

This paper revisits an algorithm isolating the real roots of a univariate polynomial using
Descartes’ rule of signs. It follows work of Vincent, Uspensky, Collins and Akritas, Johnson, …