Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Computer arithmetic
• Numerical analysis
• Arithmetic
• Functions and mappings
• Differential calculus
• Interval arithmetic
• Rounding
• Derivative
• Integral

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

Source URL: perso.ens-lyon.fr

• Numerical analysis
• Mathematics
• Applied mathematics
• Iterative refinement
• Iterative method
• Interval arithmetic
• Newton's method
• Condition number
• Residual
• Root-finding algorithm
• Affine arithmetic

Citations From References: 0 From Reviews: 0 Previous Up

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

• Geometry
• Algebra
• Birational geometry
• Projective geometry
• Riemann surfaces
• Algebraic varieties
• Lie groups
• Cremona group
• Projective variety
• EnriquesKodaira classification
• Mbius transformation
• Automorphism

Formal moduli problems and formal derived stacks Damien Calaque and Julien Grivaux To the memory of Jean-Louis Koszul A mathematician, like a painter or a poet, is a maker of patterns. If his patterns are more permanent

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

• Algebra
• Abstract algebra
• Mathematics
• Algebraic geometry
• Category theory
• Differential algebra
• Algebras
• Algebraic structures
• Differential graded Lie algebra
• Deformation theory
• Associative algebra
• F-algebra

On Computing the Resultant of Generic Bivariate Polynomials Gilles Villard Univ Lyon, CNRS, ENS de Lyon, Inria, Université Claude Bernard Lyon 1, LIP UMR 5668, FLyon, France ABSTRACT An algorithm is presented for

Source URL: perso.ens-lyon.fr

Quelques résultats de constructibilité uniforme et de calculabilité en cohomologie étale年5月 晨兴数学中心 Fabrice Orgogozo version du à 8h59 tu

Source URL: fabrice.orgogozo.perso.math.cnrs.fr

Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods Olivier Bouissou1 , Alexandre Chapoutot2 , and Samuel Mimram1 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Mathematical analysis
• Analysis
• Polynomials
• Numerical analysis
• Interpolation
• Algebra
• Polynomial interpolation
• Affine arithmetic
• Numerical integration
• Lagrange polynomial
• Polynomial

Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) Vol. XVIII (2018), On Lang’s conjecture for some product-quotient surfaces J ULIEN G RIVAUX , J ULIANA R ESTREPO V ELASQUEZ AND E RWAN ROUSSEAU

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

• Algebra
• Abstract algebra
• Geometry
• Algebraic geometry
• Group theory
• Algebraic surfaces
• Divisor
• Projective variety
• Quotient group
• Differential geometry of surfaces
• GIT quotient
• Draft:Residual intersection

Citations From References: 0 From Reviews: 0 Previous Up

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

• Algebra
• Abstract algebra
• Mathematics
• Bernhard Riemann
• Complex manifolds
• Algebraic geometry
• Vector bundles
• Sheaf theory
• GrothendieckRiemannRoch theorem
• RiemannRoch theorem
• Chern class
• Serre duality

Grivaux, Julien  Infinitesimal deformations of rational surface automorphisms. (English) Zbl
Math. Z. 288, No. 3-4, ). The basic problem of deformation theory in algebraic geometry involves wa

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

• Abstract algebra
• Algebra
• Birational geometry
• Algebraic surfaces
• Moduli theory
• Differential geometers
• Zbl
• Deformation theory
• Moduli of algebraic curves
• Cremona group
• Masatake Kuranishi
• EnriquesKodaira classification