Reflections on 10 years of FloPoCo

Then, based on these bounds, we develop a rational interval arithmetic where real number calculations take place in an algebraic setting.. In order to reduce the dependency effect

Finally we will present some applications with well known functions such as d and σ which are respectively the number of divisors function and the sum of divisors function..

• In 2005, in [BH05] Barak and Halevi proposed a security model in which a pseudo-random number generator with input is clearly defined as a couple of deterministic polynomial-

If a stochastic model of the physical randomness source is available, it can be used in combination with the raw signal to estimate the entropy and the bias depending on random

For the aforementioned static curves we establish a non-Gaussian limit theorem for the distribution of nodal intersections, and on the way find the true asymptotic behaviour of

The main purpose of this paper is to prove quantitative limit theorems for local functionals of nodal sets of arithmetic random waves, such as the Leray measure in (3) and the

In § 2.1 we recall Wiener-Itˆo chaotic expansions, which we then exploit throughout the whole paper to prove the main results, given in § 2.2; § 3 is devoted to the proof of the

An important issue related to the first question is the role of counting strategies in the development of conceptual understanding of number and operations with numbers..