Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
enumerative combinatorics
Vertaling van "enumerative combinatorics" in Frans
combinatoire énumérative
In other words, a typical problem of enumerative combinatorics is to...
En d'autres termes, la combinatoire énumérative a pour tâche principal...
More recently, I have implemented a method to discover new decision procedures, applied deductive verification to enumerative combinatorics, and adapted rewriting strategies to the formalization of multiscale methods.
Plus récemment, j'ai outillé une méthode d'aide à la conception de procédures de décision, appliqué la vérification déductive à des algorithmes de combinatoire énumérative, et adapté des stratégies de réécriture à la formalisation de méthodes multi-échelles.
We also propose a testing-based methodology to assist interactive proof in Coq, an original formal study of maps, and new results in enumerative combinatorics.
Nous proposons également une méthodologie de test qui facilite la preuve interactive en Coq, une étude formelle des cartes originale, et de nouveaux résultats en combinatoire énumérative.
Fibonacci numbers is the basic example of a problem in enumerative combinatorics.
La suite des nombres de Fibonacci est un exemple de base d'un problème de combinatoire énumérative.
During the academic year 2015-2016, I run a reading group on Enumerative combinatorics (1st year) and a working group on Random maps and their local limits (2nd year).
Pour l'année 2015-2016, j'anime le groupe de lecture Combinatoire énumérative (1ère année) et le groupe de travail Les cartes aléatoires et leurs limites locales (2ème année).
Thus, this work contributes to the research fields of enumerative combinatorics and software engineering.
Ainsi, ce travail contribue aux domaines de recherche de la combinatoire énumérative et du génie logiciel.
During the last decades considerable progress has been made in clarifying and strengthening the foundations of enumerative combinatorics.
Au cours de dernières décennies, un progrès considérable a été fait dans le processus de clarifier et de renforcer les fondements de la combinatoire.
Using algorithmic and enumerative combinatorics, scientists showed that classical graph exploration algorithms, when correctly applied to maps, lead to remarkable decompositions of the underlying surfaces.
Les scientifiques ont utilisé une combinatoire algorithmique et énumérative, montrant que les algorithmes classiques de parcours de graphe, lorsqu'ils sont correctement appliqués à des cartes, débouchent sur de remarquables décompositions des surfaces sous-jacentes.
In some contexts, such as enumerative combinatorics, the term enumeration is used more in the sense of counting - with emphasis on determination of the number of elements that a set contains, rather than the production of an explicit listing of those elements.
Dans certains contextes, comme la combinatoire énumérative, le terme énumération est davantage utilisé dans le sens du comptage, l'accent étant mis sur la détermination du nombre d'éléments qui contiennent une série, plutôt que sur la production d'une liste explicite de ces éléments.
In this thesis we build new developments of this theory (called by us volumetry of timed languages) and apply it to several problems occurring in various domains of theoretical computer science such as verification, enumerative combinatorics or information theory.
Dans cette thèse nous construisons de nouveaux développements à cette théorie (que nous appelons volumétrie des langages temporisés) et l'appliquons a plusieurs problèmes apparaissant dans divers domaine de recherche tel que la théorie de l'information, la vérification, la combinatoire énumérative.
Expert of international standing in many scientific fields, he is the author of over a hundred scientific publications and communications and 4 books. He has filed 3 patents in fundamental computer science, algebraic and enumerative combinatorics, mobile telecommunications algorithmic and systems engineering.
Expert de stature internationale dans de nombreux domaines scientifiques, il est l'auteur d'une centaine de publications et de communications scientifiques, de 4 livres et de 3 brevets en informatique fondamentale, combinatoire algébrique et énumérative, algorithmique des télécommunications mobiles et ingénierie système.
Abstract: We study three domains of algebraic and enumerative combinatorics.
Résumé : Nous abordons trois axes de la combinatoire algébrique et énumérative.
I'm interested in the study of symmetric functions, (and its generalizations such as MacMahon SF or symmetric functions in noncommutative variables), the free Lie algebra, permutation statistics, and enumerative combinatorics.
Je m'intéresse aux fonctions symétriques (et aux généralisations telles que les fonctions symétriques de MacMahon et les fonctions symétriques non commutatives), l'algèbre de Lie libre, les statistiques sur les permutations, et la combinatoire énumerative.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor enumerative combinatorics in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 20. Exact: 20. Verstreken tijd: 28 ms.
