Skip to contents

  1. Bender, Matias Rafael [Author] ; Sorbonne université [Contributor]; Faugère, Jean-Charles [Contributor]; Tsigaridas, Elias [Contributor]

    Algorithms for sparse polynomial systems : Gröbner bases and resultants ; Algorithmes pour les systèmes polynomiaux creux : bases de Gröbner et résultants

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2019-06-03

  3. Verron, Thibaut [Author] ; Paris 6 [Contributor]; Faugère, Jean-Charles [Contributor]; Safey El Din, Mohab [Contributor]

    Régularisation du calcul de bases de Gröbner pour des systèmes avec poids et déterminantiels, et application en imagerie médicale ; Regularisation of Gröbner basis computations for weighted and determinantal systems, and application to medical imagery

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-09-26

  5. Melczer, Stephen [Author] ; Lyon [Contributor]; University of Waterloo (Canada) [Contributor]; Salvy, Bruno [Contributor]; Labahn, George [Contributor]

    Analytic Combinatorics in Several Variables : Effective Asymptotics and Lattice Path Enumeration ; Combinatoire analytique en plusieurs variables : asymptotique efficace et énumération de chemin de treillis

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2017-06-13

  6. Younes, Grace [Author] ; Sorbonne université [Contributor]; Rouillier, Fabrice [Contributor]; Quadrat, Alban [Contributor]

    Computation of the L∞-norm of finite-dimensional linear systems ; Calcul de la norme L∞ des systèmes linéaires de dimension finie

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2022-01-20

  7. Le, Huu Phuoc [Author] ; Sorbonne université [Contributor]; Safey El Din, Mohab [Contributor]

    On solving parametric polynomial systems and quantifier elimination over the reals : algorithms, complexity and implementations ; Sur la résolution de systèmes polynomiaux paramétriques et l'élimination de quantificateurs sur les réels : algorithmes, complexité et implémentations

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2021-12-03

  8. Vu, Thi Xuan [Author] ; Sorbonne université [Contributor]; University of Waterloo (Canada) [Contributor]; Safey El Din, Mohab [Contributor]; Schost, Eric [Contributor]; Labahn, George [Contributor]

    Homotopy algorithms for solving structured determinantal systems ; Algorithmes d'homotopie pour la résolution de systèmes déterminants structurés

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2020-12-09

  9. Duong, Chinh Cuong [Author] ; Reims [Contributor]; Manamanni, Noureddine [Contributor]

    Exploration d'alternatives aux LMI non-quadratiques pour l'analyse des systèmes non linéaires représentés par des modèles Takagi-Sugeno ; Exploring some alternatives to non-quadratic LMI conditions for analyzing nonlinear systems based on Takagi-Sugeno modelling

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2013-06-28

  11. Marrez, Jérémy [Author] ; Sorbonne université [Contributor]; Bajard, Jean-Claude [Contributor]

    Représentations adaptées à l'arithmétique modulaire et à la résolution de systèmes flous ; Representations adapted to modular arithmetic and fuzzy system resolution

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2019-12-06

  13. Dreossi, Tommaso [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Università Ca' Foscari Venezia (Venise, Italie) [Contributor]; Dang, Thao [Contributor]

    Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux ; Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems

    Thesis
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-04-04