Found 7 document(s)
Page 1 of 1
-
Every continuous piecewise linear (CPWL) function is a finite signed sum of maxima of affine functions, making maximum representation a central problem in the study of the expressiveness of ReLU networks. A now-disproved...
-
The Veltkamp/Dekker algorithms are very useful for double-double arithmetic, when no fused multiply-add is available in hardware. Their analysis is well-known for rounding to nearest-even. We study how they behave with d...
-
An unknown and almost fully encrypted letter written in 1547 by Emperor Charles V to his ambassador at the French Court, Jean de Saint-Mauris, was identified in a public library, the Bibliothèque Stanislas (Nancy, France...
-
Cet article décrit deux nouveaux records établis fin 2019 : un record de factorisation d'entier avec la factorisation du nombre RSA-240, et un record de calcul de logarithme discret de même taille. Ces deux records corre...
-
This fantastic and deep book about how to use SageMath for learning and doing mathematics. It is filled with many carefully thought through examples and exercises, and great care has been taken to put computational funct...
-
MuPAD is a general purpose computer algebra system with two programming concepts for parallel processing: {\em micro-parallelism\/} for shared-memory machines and {\em macro-parallelism\/} for distributed architectures. ...
-
Many probabilistic properties of elementary discrete combinatorial structures of interest for the average-case analysis of algorithms prove to be decidable. This paper presents a general framework in which such decision ...
