Relevant bibliographies by topics / Structures algébriques finies

Contents

  1. Dissertations / Theses

Academic literature on the topic 'Structures algébriques finies'

Author: Grafiati
Published: 18 November 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Structures algébriques finies.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Dissertations / Theses on the topic "Structures algébriques finies"

1

Shminke, Boris. "Applications de l'IA à l'étude des structures algébriques finies et à la démonstration automatique de théorèmes." Electronic Thesis or Diss., Université Côte d'Azur, 2023. http://www.theses.fr/2023COAZ4058.

Full text
Abstract:
Cette thèse contribue à une recherche de modèles finis et à la démonstration automatisée de théorèmes, en se concentrant principalement, mais sans s'y limiter, sur les méthodes d'intelligence artificielle. Dans la première partie, nous résolvons une question de recherche ouverte à partir de l'algèbre abstraite en utilisant une recherche automatisée de modèles finis massivement parallèles, en utilisant l'assistant de preuve Isabelle. À savoir, nous établissons l'indépendance de certaines lois de distributivité abstraites dans les binaires résiduels dans le cas général. En tant que sous-produit
APA, Harvard, Vancouver, ISO, and other styles
2

Zou, Tingxiang. "Structures pseudo-finies et dimensions de comptage." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSE1083/document.

Full text
Abstract:
Cette thèse porte sur la théorie des modèles des structures pseudo-finies en mettant l’accent sur les groupes et les corps. Le but est d'approfondir notre compréhension des interactions entre les dimensions de comptage pseudo-finies et les propriétés algébriques de leurs structures sous-jacentes, ainsi que de la classification de certaines classes de structures en fonction de leurs dimensions. Notre approche se fait par l'étude d'exemples. Nous avons examiné trois classes de structures. La première est la classe des H-structures, qui sont des expansions génériques. Nous avons donné une constru
APA, Harvard, Vancouver, ISO, and other styles
3

Moutot, Etienne. "Autour du problème du Domino - Structures combinatoires et outils algébriques." Thesis, Lyon, 2020. http://www.theses.fr/2020LYSEN027.

Full text
Abstract:
Étant donné un ensemble fini de tuiles carrés, le problème du domino est la question : «est-il possible de paver le plan entier en utilisant ces tuiles ?» Ce problème est connu pour être indécidable dans le cas des pavages du plan, et est très fortement lié à la question de la périodicité des pavages. Dans cette thèse nous abordons ce problème de deux point de vue différents:en regardant le cas particulier des pavages de faible complexité et en le généralisant aux structures plus généra les des groupes.Un pavage du plan est dit de faible complexité s'il y apparait moins de mn rectangles de tai
APA, Harvard, Vancouver, ISO, and other styles
4

Loyau, Hugues. "Etude numérique et modélisation algébrique des phénomènes d'anisotropie en turbulence statistique." Rouen, 1996. http://www.theses.fr/1996ROUES067.

Full text
Abstract:
Le travail présenté dans cette thèse porte sur l'étude et la modélisation en turbulence anisotrope. L'étude se divise en deux parties concernant respectivement le développement théorique de modèles algébriques anisotropes, ainsi que la mise en œuvre de ces modèles dans le cas d'écoulements cisaillés simples. Le premier chapitre définit le cadre de l'étude en présentant une revue bibliographique des modélisations concernées. Le second chapitre rappelle les équations de base utilisées pour la résolution numérique, ce qui comprend : les équations moyennes turbulentes de Navier-Stokes, ainsi que l
APA, Harvard, Vancouver, ISO, and other styles
5

Muhieddine, Mohamad. "Simulation numérique des structures de combustion préhistoriques." Rennes 1, 2009. ftp://ftp.irisa.fr/techreports/theses/2009/muhieddine.pdf.

Full text
Abstract:
La compréhension des comportements des hommes préhistoriques nécessite la mise au point de méthodologies appropriées étudiant la nature et le fonctionnement des structures de combustion préhistoriques. Ce travail présente alors des outils numériques pour résoudre le problème de diffusion de la chaleur dans un milieu poreux saturé d'eau et pour déterminer les propriétés physiques du milieu par problème inverse. La première partie est consacrée à la résolution de problèmes de changement de phase utilisant deux approches, LHA (accumulation de chaleur latente) et AHC (capacité apparente), cette de
APA, Harvard, Vancouver, ISO, and other styles
6

Ahmed, Bacha Rekia Meriem. "Sur un problème inverse en pressage de matériaux biologiques à structure cellulaire." Thesis, Compiègne, 2018. http://www.theses.fr/2018COMP2439.

Full text
Abstract:
Cette thèse, proposée dans le cadre du projet W2P1-DECOL (SAS PIVERT), financée par le ministère de l’enseignement supérieur est consacrée à l’étude d’un problème inverse de pressage des matériaux biologiques à structure cellulaire. Le but est d’identifier connaissant les mesures du flux d’huile sortant, le coefficient de consolidation du gâteau de pressage et l’inverse du temps caractéristique de consolidation sur deux niveaux : au niveau de la graine de colza et au niveau du gâteau de pressage. Dans un premier temps, nous présentons un système d’équations paraboliques modélisant le problème de pr
APA, Harvard, Vancouver, ISO, and other styles
7

Montagnier, Julien. "Etude de schémas numériques d'ordre élevé pour la simulation de dispersion de polluants dans des géométries complexes." Phd thesis, Université Claude Bernard - Lyon I, 2010. http://tel.archives-ouvertes.fr/tel-00502476.

Full text
Abstract:
La prévention des risques industriels nécessite de simuler la dispersion turbulente de polluants. Cependant, les outils majoritairement utilisés à ce jour ne permettent pas de traiter les champs proches dans le cas de géométries complexes, et il est nécessaire d'utiliser les outils de CFD (“ Computational Fluid Dynamics ”) plus adaptés, mais plus coûteux. Afin de simuler les écoulements atmosphériques avec dispersion de polluants, les modèles CFD doivent modéliser correctement d'une part, les effets de flottabilité, et d'autre part les effets de la turbulence. Plusieurs approches existent, not
APA, Harvard, Vancouver, ISO, and other styles
8

Marseglia, Stéphane. "Variétés projectives convexes de volume fini." Thesis, Strasbourg, 2017. http://www.theses.fr/2017STRAD019/document.

Full text
Abstract:
Cette thèse est consacrée à l'étude des variétés projectives strictement convexes de volume fini. Une telle variété est le quotient G\U d'un ouvert proprement convexe U de l'espace projectif réel RP^(n-1) par un sous-groupe discret sans torsion G de SLn(R) qui préserve U. Dans un premier temps, on étudie l'adhérence de Zariski des holonomies de variétés projectives strictement convexes de volume fini. Pour une telle variété G\U, on montre que, soit G est Zariski-dense dans SLn(R), soit l'adhérence de Zariski de G est conjuguée à SO(1,n-1). On s'intéresse ensuite à l'espace des modules des stru
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography