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

PDF Document

Source URL: julien.signoles.free.fr

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

FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Functors
• Category theory
• Additive categories
• Equivalence
• Exact functor
• Natural transformation
• Adjoint functors
• Hochschild homology

Laboratoire des sciences de l’ingénieur, de l’informatique et de l’imagerie ICube 02

Source URL: icube.unistra.fr

1 BILAN MORAL 2017 DU CERCLE DU COIN Présenté au nom du CA par le Président à l’AGO du 24 janvier 2018 L’association a compté cette année 95 membres : - 68 membres physiques et

Source URL: lecercleducoin.fr

HYPERBOLICITY Colloquium – University of Michigan March 9, 2004 Olivier Debarre There exist several notions of hyperbolicity for compact complex varieties and I will try to explain what they are and how they are relate

Source URL: www.math.ens.fr

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Vector bundles
• Algebraic varieties
• Projective geometry
• Bernhard Riemann
• Projective variety
• Kobayashi metric
• RiemannRoch theorem
• Canonical bundle

On the Practical (In-)Security of 64-bit Block Ciphers Collision Attacks on HTTP over TLS and OpenVPN Karthikeyan Bhargavan Inria, France

Source URL: who.rocq.inria.fr

V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

Source URL: cubicle.lri.fr

Advances in Mathematics of Communications Volume X, No. 0X, 200X, X–XX Web site: http://www.aimSciences.org IMPROVEMENTS IN THE COMPUTATION OF IDEAL CLASS

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Linear algebra
• Numerical linear algebra
• Integer factorization algorithms
• Polynomials
• Gaussian elimination
• Quadratic sieve
• Index calculus algorithm
• Factorization
• Factorial
• Kernel