Hivert, Florent
VIAF ID: 204935359 ( Personal )
Permalink: http://viaf.org/viaf/204935359
Preferred Forms
- 100 1 _ ‡a Hivert, Florent
- 100 1 _ ‡a Hivert, Florent
Works
Title | Sources |
---|---|
Algebraic combinatorics on order of trees. | |
Classical and weak Shur numbers. | |
Combinatoire algébrique liée aux ordres sur les arbres | |
Combinatoire dans des stabilisations du modèle du tas de sable sur la grille Z² | |
Combinatoire des fonctions quasi-symétiques | |
Combinatorial links between quasisymmetric functions and tableaux for Coxeter groups.. | |
Combinatorics of the ASEP, non-ambiguous trees and periodic parallelogram polyominoes. | |
Combinatorics on some stabilisations in the Abelian Sandpile Model on the square lattice Z². | |
Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité. | |
Coq formalization of digital filter algorithms computed using finite precision arithmetic. | |
La Corporation des bouchers à Dijon et ses rapports avec l'autorité municipale aux XIVe et XVe siècles | |
Decompositions of packed words and self duality of Word Quasisymmetric Functions. | |
Eulerian calculus arising from permutation statistics | |
Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie | |
Formalisations d'analyses d'erreurs en analyse numérique et en arithmétique à virgule flottante | |
Formalizations of error analysis in numerical analysis and floating-point arithmetic. | |
Généralisations géométriques et combinatoires de l'associaèdre. | |
Nombres de Schur classiques et faibles | |
A parallel iterative solver for large sparse linear systems enhanced with randomization and GPU accelerator, and its resilience to soft errors | |
Parking functions combinatorics : apecies, automata enumeration and Hopf algebras. | |
Partitions planes cylindriques, lambda déterminants, les commutateurs dans l’algèbre engendrée par un système semi-circulaire. | |
La perception par la presse ivoirienne de l'intervention militaire française en Côte-d'ivoire de septembre 2002 à décembre 2004 | |
Polynominalité des coefficients de structures des algèbres de doubles-classes | |
Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur. | |
Renforcement du noyau d’un démonstrateur SMT : Conception et implantation de procédures de décisions efficaces. | |
Représentations de monoïdes et structures de treillis en combinatoire des groupes de Weyl.. | |
Schensted-Fomin correpondences Hopf algebras and graph duality. | |
Separation logic and deductive verification. | |
Un solveur parallèle itératif pour les grands systèmes linéaires creux, amélioré par la randomisation et l'utilisation des accélérateurs GPU, et sa résilience aux fautes logicielles. | |
Strengthening the heart of an SMT-solver : Design and implementation of efficient decision procedures | |
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra | |
Taking architecture and compiler into account in formal proofs of numerical programs |