WorldCat Identities

Zimmermann, Paul 1964-

Overview
Works: 21 works in 56 publications in 4 languages and 334 library holdings
Roles: Author, Thesis advisor, Editor, Creator, Opponent
Publication Timeline
.
Most widely held works by Paul Zimmermann
Modern computer arithmetic by R. P Brent( Book )

12 editions published between 2010 and 2011 in English and held by 167 WorldCat member libraries worldwide

"Modern Computer Arithmetic focuses on arbitrary-precision algorithms for efficiently performing arithmetic operations such as addition, multiplication and division, and their connections to topics such as modular arithmetic, greatest common divisors, the Fast Fourier Transform (FFT), and the computation of elementary and special functions. Brent and Zimmermann present algorithms that are ready to implement in your favorite language, while keeping a high-level description and avoiding too low-level or machine-dependent details. The book is intended for anyone interested in the design and implementation of efficient high-precision algorithms for computer arithmetic, and more generally efficient multiple-precision numerical algorithms. It may also be used in a graduate course in mathematics or computer science, for which exercises are included. These vary considerably in difficulty, from easy to small research projects, and expand on topics discussed in the text. Solutions are available from the authors."--Publisher's website
Calcul mathématique avec Sage by Paul Zimmermann( Book )

2 editions published in 2013 in French and held by 16 WorldCat member libraries worldwide

Lambda-upsilon-omega : the 1989 cookbook by P Flajolet( Book )

2 editions published in 1989 in English and held by 9 WorldCat member libraries worldwide

Abstract: "Lambda-Upsilon-Omega ([lambda][upsilon][omega]) is a research tool designed to assist the average case analysis of some well defined classes of algorithms and data structures. This cookbook consists of an informal introduction to the system together with eighteen examples of programmes that are automatically analyzed. Amongst the applications treated here, we find: addition chains, quantitative concurrency analysis of simple systems, symbolic manipulation algorithms such as formal differentiation, simplification and rewriting systems, as well as combinatorial models including various tree and permutation statistics and functional graphs with applications to integer factorisation."
The automatic complexity analysis of divide-and-conquer algorithms by Paul Zimmermann( Book )

4 editions published in 1989 in English and held by 7 WorldCat member libraries worldwide

Enfant de Dieu : livre de vie chrétienne des jeunes enfants. 7e édition. Dessinateurs: Ino et Paul Zimmermann. Texte ... Françoise Destang by Françoise Destang( Book )

5 editions published between 1965 and 1970 in 3 languages and held by 6 WorldCat member libraries worldwide

Alas : un système d'analyse algébrique by Paul Zimmermann( Book )

3 editions published in 1989 in French and held by 6 WorldCat member libraries worldwide

This report extends these correspondences to program schemes. Alas is a system written in Caml, which enables to specify an algorithm and its companion data structures. When this algorithm belongs to a well-defined class, Alas computes associated generating functions. These generating functions can then be passed to the Analytic Analyzer that will give an asymptotic expansion of the average cost."
Analysis of functions with a finite number of return values = Analyse de complexité moyenne de fonctions à nombre fini de valeurs by Paul Zimmermann( Book )

4 editions published in 1992 in English and held by 5 WorldCat member libraries worldwide

Abstract: "A class of functions with a finite number of return values is defined over combinatorial structures. We prove that the characterization of combinatorial structures by such a function is equivalent to a set of grammar productions, and we show how to derive these productions from the body of the function. In the field of automatic average case analysis, this result allows the use of functions, which makes the description of algorithms more natural and smaller."
Automatic average-case analysis of algorithms = L'analyse automatique d'algorithmes by Philippe Flajolet( Book )

4 editions published in 1990 in English and held by 5 WorldCat member libraries worldwide

RNC'7 : proceedings of the 7th Conference on Real Numbers and Computers, Nancy, France, July 10-12, 2006 by Conference on Real Numbers and Computers( Book )

2 editions published in 2006 in English and held by 5 WorldCat member libraries worldwide

GFUN a MAPLE package for the manipulation of generating and holonomic functions in one variable by Bruno Salvy( Book )

3 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

Algorithms seminar, 1991-1992 by Philippe Flajolet( Book )

2 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide

Calcul formel pour les applications : utilisation du systeme MAPLE by Cours Calcul formel pour les applications( Book )

2 editions published between 1994 and 1996 in Multiple languages and French and held by 3 WorldCat member libraries worldwide

BigNum : un module portable et efficace pour une arithmétique à précision arbitraire by J. C Hervé( Book )

1 edition published in 1989 in French and held by 3 WorldCat member libraries worldwide

Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques by Damien Stehlé( Book )

1 edition published in 2005 in French and held by 2 WorldCat member libraries worldwide

Les réseaux euclidiens sont un outil très puissant dans plusieurs domaines de l'algorithmique, en cryptographie et en théorie algorithmique des nombres par exemple. L'objet du présent mémoire est dual : nous améliorons les algorithmes de réduction des réseaux, et nous développons une nouvelle application dans le domaine de l'arithmétique des ordinateurs. En ce qui concerne l'aspect algorithmique, nous étudions le cas des petites dimensions et décrivons une nouvelle variante de l'algorithme LLL. Du point de vue de l'application nous utilisons la méthode de Coppersmith permettant de trouver les petites racines de polynômes modulaires, pour calculer les pires cas pour l'arrondi des fonctions mathématiques, quand la fonction et la précision sont donnés. Nous adaptons notre technique aux mauvais cas simultanés pour deux fonctions. Ces deux méthodes sont des pré-calculs coûteux, qui une fois effectués permettent d'accélérer les implantations des fonctions élémentaires en précision fixe
Intégration numérique avec erreur bornée en précision arbitraire by Laurent Fousse( Book )

2 editions published in 2006 in French and held by 2 WorldCat member libraries worldwide

Numerical integration is commonly available in numerical computation systems. We study in this thesis the error on the result of a numerical quadrature using the Newton-Cotes and Gauss-Legendre methods for a monodimensional real function in the context of arbitrary precision. From the algorithmic point of view we give for each method a computation procedure with a guaranteed bound on the error. For the analysis of the Gauss-Legendre method we studied polynomial root refinement schemes (secante, Newton's iteration, dichotomy) and we gave heuristics to make sure the method converges in practice. The algorithms proposed in this thesis were written in a numerical quadrature library called "Correctly Rounded Quadrature" (CRQ) available at http://komite.net/laurent/soft/crq/. We also give a comparison of CRQ with other numerical integration softwares
SERIES GENERATRICES ET ANALYSE AUTOMATIQUE D'ALGORITHMES by Paul Zimmermann( Book )

2 editions published in 1991 in French and held by 2 WorldCat member libraries worldwide

L'OBJET DE CETTE THESE EST LA MISE EN EVIDENCE DE PROCEDES SYSTEMATIQUES POUR DETERMINER AUTOMATIQUEMENT LE COUT MOYEN D'UN ALGORITHME. CES PROCEDES S'APPLIQUENT EN GENERAL AUX SCHEMAS DE DESCENTE DANS DES STRUCTURES DE DONNEES DECOMPOSABLES, CE QUI PERMET DE MODELISER UNE VASTE CLASSE DE PROBLEMES. CETTE THESE S'INTERESSE PLUS PRECISEMENT A LA PREMIERE PHASE DE L'ANALYSE D'UN ALGORITHME, L'ANALYSE ALGEBRIQUE, QUI TRADUIT LE PROGRAMME EN OBJETS MATHEMATIQUES, TANDIS QUE LA SECONDE PHASE EXTRAIT DE CES OBJETS LES INFORMATIONS DESIREES SUR LE COUT MOYEN. NOUS DEFINISSONS UN LANGAGE DE SPECIFICATION POUR DEFINIR DES STRUCTURES DE DONNEES DECOMPOSABLES ET DES PROCEDURES DE DESCENTE SUR CELLES-CI. LORSQUE L'ON UTILISE COMME OBJETS MATHEMATIQUES DES SERIES GENERATRICES (DE DENOMBREMENT POUR LES DONNEES, DE COUT POUR LES PROCEDURES), NOUS MONTRONS QUE LES ALGORITHMES DECRITS DANS CE LANGAGE SE TRADUISENT DIRECTEMENT EN SYSTEMES D'EQUATIONS POUR LES SERIES GENERATRICES ASSOCIEES, ET DE SURCROIT PAR DES REGLES SIMPLES. A PARTIR DE CES EQUATIONS, NOUS POUVONS ENSUITE DETERMINER EN TEMPS POLYNOMIAL LE COUT MOYEN EXACT POUR UNE VALEUR FIXEE DE LA TAILLE DES DONNEES. ON POURRA AUSSI UTILISER CES EQUATIONS POUR CALCULER PAR ANALYSE ASYMPTOTIQUE LE COUT MOYEN LORSQUE LA TAILLE DES DONNEES TEND VERS L'INFINI, PUISQUE L'ON SAIT PAR AILLEURS QUE LE COUT MOYEN ASYMPTOTIQUE EST DIRECTEMENT LIE AU COMPORTEMENT DES SERIES GENERATRICES AU VOISINAGE DE LEURS SINGULARITES. AINSI NOUS MONTRONS QU'A UNE CLASSE DONNEE D'ALGORITHMES CORRESPOND UNE CLASSE BIEN DEFINIE DE SERIES GENERATRICES, ET PAR CONSEQUENT UNE CERTAINE CLASSE DE FORMULES POUR LE COUT MOYEN ASYMPTOTIQUE. CES REGLES D'ANALYSE ALGEBRIQUE ONT ETE INCORPOREES DANS UN SYSTEME D'ANALYSE AUTOMATIQUE D'ALGORITHMES, LAMBDA-UPSILON-OMEGA (LUO), QUI S'EST AVERE ETRE UN OUTIL TRES UTILE POUR L'EXPERIMENTATION ET LA RECHERCHE
A calculus for the random generation of combinatorial structures by Philippe Flajolet( )

1 edition published in 1993 in English and held by 2 WorldCat member libraries worldwide

Calcul mathématique avec Sage by Alexandre Casamayou( Book )

1 edition published in 2011 in French and held by 1 WorldCat member library worldwide

Algorithmique de la réduction de réseaux et application à la recherche de pires cas pour l'arrondi de fonctions mathématiques by Damien Stehlé( )

1 edition published in 2005 in French and held by 1 WorldCat member library worldwide

Les réseaux euclidiens sont un outil très puissant dans plusieurs domaines de l'algorithmique, en cryptographie et en théorie algorithmique des nombres par exemple. L'objet du présent mémoire est dual : nous améliorons les algorithmes de réduction des réseaux, et nous développons une nouvelle application dans le domaine de l'arithmétique des ordinateurs. En ce qui concerne l'aspect algorithmique, nous étudions le cas des petites dimensions et décrivons une nouvelle variante de l'algorithme LLL. Du point de vue de l'application nous utilisons la méthode de Coppersmith permettant de trouver les petites racines de polynômes modulaires, pour calculer les pires cas pour l'arrondi des fonctions mathématiques, quand la fonction et la précision sont donnés. Nous adaptons notre technique aux mauvais cas simultanés pour deux fonctions. Ces deux méthodes sont des pré-calculs coûteux, qui une fois effectués permettent d'accélérer les implantations des fonctions élémentaires en précision fixe
Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret by Cyril Bouvier( )

1 edition published in 2015 in French and held by 1 WorldCat member library worldwide

Dans cette thèse, nous étudions les problèmes de la factorisation d'entier et de calcul de logarithme discret dans les corps finis. Dans un premier temps, nous nous intéressons à l'algorithme de factorisation d'entier ECM et présentons une méthode pour analyser les courbes elliptiques utilisées dans cet algorithme en étudiant les propriétés galoisiennes des polynômes de division. Ensuite, nous présentons en détail l'algorithme de factorisation d'entier NFS, et nous nous intéressons en particulier à l'étape de sélection polynomiale pour laquelle des améliorations d'algorithmes existants sont proposées. Puis, nous présentons les algorithmes NFS-DL et FFS pour le calcul de logarithme discret dans les corps finis. Nous donnons aussi des détails sur deux calculs de logarithme discret effectués durant cette thèse, l'un avec NFS-DL et l'autre avec FFS. Enfin, nous étudions une étape commune à l'algorithme NFS pour la factorisation et aux algorithmes NFS-DL et FFS pour le calcul de logarithme discret: l'étape de filtrage. Nous l'étudions en détail et nous présentons une amélioration dont nous validons l'impact en utilisant des données provenant de plusieurs calculs de factorisation et de logarithme discret
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.64 for Modern com ... to 0.96 for Algorithmi ...)

Modern computer arithmetic
Alternative Names
Paul Zimmermann Frans wiskundige

Paul Zimmermann French mathematician

Paul Zimmermann matemático francés

Zimmermann, P. 1964-

Циммерман, Поль

Languages
Covers