Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs Nasrine Damouche and Matthieu Martel LAMPS Laboratory University of Perpignan, 52 Avenue Paul Alduy,

Source URL: perso.univ-perp.fr

• Computing
• Software engineering
• Mathematics
• Functions and mappings
• Abstract interpretation
• Variable
• Limit of a function
• Derivative
• Combinatory logic
• Scala
• Exponentiation
• Integral

Grivaux, Julien  Variation of the holomorphic determinant bundle. (English) Zbl
Math. Res. Lett. 20, No. 6, ). Let f : X → Y be a proper holomorphic submersion between complex manifolds an

Source URL: jgrivaux.perso.math.cnrs.fr

MOSCOW MATHEMATICAL JOURNAL Volume 16, Number 2, April–June 2016, Pages 275–298 PARABOLIC AUTOMORPHISMS OF PROJECTIVE SURFACES (AFTER M. H. GIZATULLIN) JULIEN GRIVAUX

Source URL: jgrivaux.perso.math.cnrs.fr

• Geometry
• Mathematics
• Mathematical analysis
• Conformal geometry
• Mbius transformation
• Projective geometry
• DeligneLusztig theory
• Table of stars with Bayer designations

Citations From References: 0 From Reviews: 0 Previous Up

Source URL: jgrivaux.perso.math.cnrs.fr

• Abstract algebra
• Algebra
• Mathematics
• Complex manifolds
• Algebraic geometry
• Manifold
• Sheaf
• Differential geometry
• Several complex variables
• Algebraic geometry and analytic geometry

Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine DAMOUCHE Matthieu MARTEL

Source URL: perso.univ-perp.fr

• Mathematics
• Mathematical analysis
• Differential calculus
• Analysis
• Functions and mappings
• Exponentials
• Exponentiation
• Derivative
• Lambda calculus
• Lambert W function

Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Cryptography
• Computational number theory
• Lattice points
• Linear algebra
• Lattice-based cryptography
• Lattice reduction
• LenstraLenstraLovsz lattice basis reduction algorithm
• Hermite normal form
• Euclidean algorithm
• Integer relation algorithm

Citations From References: 0 From Reviews: 1 Previous Up

Source URL: jgrivaux.perso.math.cnrs.fr

• Abstract algebra
• Algebra
• Geometry
• Algebraic geometry
• Hilbert scheme
• Projective variety
• Perverse sheaf
• Scheme
• Space
• Hilbert series and Hilbert polynomial
• Equivariant algebraic K-theory

doi: jmdJ OURNAL OF M ODERN DYNAMICS V OLUME 8, N O. 1, 2014, 61–73 LOCI IN STRATA OF MEROMORPHIC QUADRATIC DIFFERENTIALS

Source URL: jgrivaux.perso.math.cnrs.fr

• Mathematical analysis
• Geometry
• Mathematics
• Riemann surfaces
• Complex manifolds
• Differential geometry
• Dynamical systems
• Complex analysis
• Teichmller space
• Quadratic differential
• Translation surface
• Foliation

´ ` DIRIGER DES RECHERCHES MEMOIRE D’HABILITATION A pr´esent´e le 30 mars 2018

Source URL: perso.ens-lyon.fr

• Operations research
• Parallel computing
• Mathematics
• Planning
• Scheduling
• Mathematical optimization
• Algorithm
• Applied mathematics
• Graph partition