Sommaire

  • Cet exposé a été présenté le 15 juin 2007.

Description

  • Orateur

    Bernard Mourrain - INRIA

Les calculs de résultants apparaissent dans beaucoup de problèmes de la géométrie algébrique effective. Ils fournissent une méthode pour projeter une situation en dimension plus petite ainsi que des techniques de remontées. Après un rappel de différentes définitions et constructions de résultants, nous illustrerons ces méthodes sur quelques problèmes. Nous nous intéresserons plus particulièrement aux calculs de résultants itérés et de récents résultats (obtenus en collaboration avec L. Busé). Nous motiverons ces travaux par une méthode de calcul de la topologie de surface algébrique.

Prochains exposés

  • Algorithms for post-quantum commutative group actions

    • 27 mars 2026 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Marc Houben - Inria Bordeaux

    At the historical foundation of isogeny-based cryptography lies a scheme known as CRS; a key exchange protocol based on class group actions on elliptic curves. Along with more efficient variants, such as CSIDH, this framework has emerged as a powerful building block for the construction of advanced post-quantum cryptographic primitives. Unfortunately, all protocols in this line of work are[…]
  • Journées C2: pas de séminaire

    • 03 avril 2026 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

  • Endomorphisms via Splittings

    • 10 avril 2026 (13:45 - 14:45)

    • IRMAR - Université de Rennes - Campus Beaulieu Bat. 22, RDC, Rennes - Amphi Lebesgue

    Orateur : Min-Yi Shen - No Affiliation

    One of the fundamental hardness assumptions underlying isogeny-based cryptography is the problem of finding a non-trivial endomorphism of a given supersingular elliptic curve. In this talk, we show that the problem is related to the problem of finding a splitting of a principally polarised superspecial abelian surface. In particular, we provide formal security reductions and a proof-of-concept[…]
    • Cryptography

Voir les exposés passés